Merge "EditPage: Remove temporary OOUI page class name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 28 Aug 2017 18:45:01 +0000 (18:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 28 Aug 2017 18:45:01 +0000 (18:45 +0000)
commit32199ac8bc293efc5cbd41c3af7fe1055d04d11c
tree4c38fadaedaf87522d095de5f12551c4a4bbac39
parentc6acd961c37a7454d93e5c9a7ee1f9782a16abf4
parent1360468d9cc3949920df8ae3db3eb3c6491e66bd
Merge "EditPage: Remove temporary OOUI page class name"
resources/Resources.php