Manual:$wgTidyInternal/fr

From Linux Web Expert

<translate> Tidy</translate>: $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.
<translate> Introduced in version:</translate>1.4.2
<translate> Deprecated in version:</translate>1.26.0 (Gerrit change 235401; git #2c6c954e)
<translate> Removed in version:</translate>1.33.0 (Gerrit change 467972; git #6db35b3c)
<translate> Allowed values:</translate>(booléen)
<translate> Default value:</translate>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.