From 5890e384b7ceb384e87eb9056822c2f58241aa9c Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Wed, 12 May 2004 14:30:35 +0000 Subject: [PATCH] tweaks to tidy comments --- includes/DefaultSettings.php | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 9bc9c9876c..f5b71039e6 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -375,9 +375,10 @@ $wgGoToEdit = false; # constructs. $wgUserHtml = true; -# $wgUseTidy: use tidy to make sure HTML output is sane. -# This should only be enabled if $wgUserHtml is true. -# tidy is a free tool that fixes broken HTML. +# $wgUseTidy: use tidy to make sure we produce valid XHTML output. +# tidy is a free tool that fixes broken HTML/transforms it into xhtml. +# When enabled, it does some of the cleaning/converting that's done in php otherwise +# Performace penalty on a long page: about 5%. # See http://www.w3.org/People/Raggett/tidy/ # $wgTidyBin should be set to the path of the binary and # $wgTidyConf to the path of the configuration file. -- 2.20.1