Merge "Split mediawiki.toolbar from mediawiki.action.edit"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Oct 2014 11:39:10 +0000 (11:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Oct 2014 11:39:10 +0000 (11:39 +0000)
commit61a82801c297ea82d9745c29c220c6e45627af6d
treee875717edada37ec81d17f1b7ba303d192766982
parent3114dbea0413f89ffcef57a9678bd53dd7b0078c
parentb3830611c4a1ad60e43a5b7293eeed8512cb6828
Merge "Split mediawiki.toolbar from mediawiki.action.edit"
includes/EditPage.php