Merge "Rename Wiki.php to MediaWiki.php"
[lhc/web/wiklou.git] / includes / MediaWiki.php
2014-07-15 jenkins-botMerge "Rename Wiki.php to MediaWiki.php"
2014-07-13 withoutanameRename Wiki.php to MediaWiki.php