Merge "Reduce revdelete-text-others verbosity"
[lhc/web/wiklou.git] / includes / MediaWiki.php
2014-07-18 jenkins-botMerge "Reduce revdelete-text-others verbosity"
2014-07-18 jenkins-botMerge "i18n: use int: for consistency"
2014-07-18 jenkins-botMerge "Revert "Breaking out disallowed CSS into a globa...
2014-07-18 jenkins-botMerge "Breaking out disallowed CSS into a global variable"
2014-07-17 jenkins-botMerge "Fix navigation buttons on Special:Listfiles...
2014-07-15 jenkins-botMerge "Revert "Make UserNotLoggedIn redirect to login...
2014-07-15 jenkins-botMerge "mediawiki.ui: Remove remaining stray references...
2014-07-15 jenkins-botMerge "Rename Wiki.php to MediaWiki.php"
2014-07-13 withoutanameRename Wiki.php to MediaWiki.php