手册:$wgTidyInternal
此功能已在版本1.33.0中,从MediaWiki核心代码中移除。 请参见$wgTidyConfig['driver']以获取使用此功能的替代方式。 |
Tidy: $wgTidyInternal | |
---|---|
Controls the use of the tidy extension to use an in-process tidy library instead of spawning a separate program. |
|
引进版本: | 1.4.2 |
弃用版本: | 1.26.0 (Gerrit change 235401; git #2c6c954e) |
移除版本: | 1.33.0 (Gerrit change 467972; git #6db35b3c) |
允许的值: | (布尔值) |
默认值: | extension_loaded( 'tidy' ) |
其他设置: 按首字母排序 | 按功能排序 |
详情
Normally you shouldn't need to override the setting except for debugging.
Tidy 2.0 is bundled with PHP5 by default (MediaWiki requires PHP5), but is not included in the ubuntu build of PHP5. To install it on Ubuntu 10.04 / PHP 5.2.x:
sudo apt-get install -y php5-dev libtidy-dev
svn co http://svn.php.net/repository/php/php- src/branches/PHP_5_2/ext/tidy/
cd tidy/
phpize
./configure
make
sudo make install
cd ../
rm -rf tidy/
Add extension=tidy.so
to php.ini ; set $wgUseTidy = true;
in LocalSettings.php ; finally, restart apache.