settings for tidy extension

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index d3dde9c..72f69f1 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -358,4 +358,10 @@ $wgSpamRegex = false;
 
 # Go button goes straight to the edit screen if the article doesn't exist
 $wgGoToEdit = false;
+
+# Optional: use tidy to make sure the output is sane, switch on by setting $wgUseTidy = true;
+$wgUseTidy = false;
+$wgTidyBin = 'tidy';
+$wgTidyConf = $IP.'/extensions/tidy/tidy.conf'; 
+$wgTidyOpts = '';
 ?>