settings for tidy extension
authorGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 6 May 2004 12:41:31 +0000 (12:41 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 6 May 2004 12:41:31 +0000 (12:41 +0000)
commit3254859fb77fab690af54bde8928dcea5df9809c
treea2646afbee1f57e902f978d5f8c565bec86e9cd9
parent180437a747a036c42197d9f81dea98418dfe2b06
settings for tidy extension
includes/DefaultSettings.php