2014-07-15 | jenkins-bot | Merge "Revert "Make UserNotLoggedIn redirect to login... | blob | commitdiff | raw |
2014-07-15 | jenkins-bot | Merge "mediawiki.ui: Remove remaining stray references... | blob | commitdiff | raw |
2014-07-15 | jenkins-bot | Merge "Rename Wiki.php to MediaWiki.php" | blob | commitdiff | raw |
2014-07-13 | withoutaname | Rename Wiki.php to MediaWiki.php | blob | commitdiff | raw |