Add $wgAllowUserCssPrefs option to disable CSS-based preferences. These are injected...
[mediawiki.git] / index.php5
blob58f3233707e5a4d451f527bae1f81cb564c39199
1 <?php require './index.php';