Jump to content

Manuel:$wgTidyInternal

From mediawiki.org
This page is a translated version of the page Manual:$wgTidyInternal and the translation is 100% complete.
Tidy: $wgTidyInternal
Contrôle l'utilisation de l'extension tidy pour utiliser une librairie tidy en processus plutôt que de créer un programme distinct.
Introduit dans la version :1.4.2
Obsolète dans la version :1.26.0 (Gerrit change 235401; git #2c6c954e)
Retiré dans la version :1.33.0 (Gerrit change 467972; git #6db35b3c)
Valeurs autorisées :(booléen)
Valeur par défaut :extension_loaded( 'tidy' )

Détails

Normalement, vous ne devriez pas avoir besoin de modifier ce paramètre, sauf pour le débugage.

Tidy 2.0 est groupé avec PHP5 par défaut (MédiaWiki nécessite PHP5), mais n'est pas inclus dans la version ubuntu de PHP5. Pour l'installer sur 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/

Ajoutez extension=tidy.so à php.ini ; définissez $wgUseTidy = true; dans LocalSettings.php ; finalement, relancez apache.