Merge "Clean up mediawiki.legacy.protect a bit."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 13 Sep 2014 16:30:12 +0000 (16:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 13 Sep 2014 16:30:12 +0000 (16:30 +0000)
commit062a6fecdadd2bdbd6be303702e0e96c98dfda81
treea61fbc777df9205acc68263e623b96a89d8ce5d6
parentc03f567af8a7ac6e6865f5208f4d56ed018fe9ab
parentc805e14eec7bd0922351562de748bf99a83c0eeb
Merge "Clean up mediawiki.legacy.protect a bit."
resources/Resources.php