Merge "mediawiki.toolbar: Properly deprecate #init"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Oct 2014 18:05:43 +0000 (18:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Oct 2014 18:05:44 +0000 (18:05 +0000)
commit957657bc72f1dee9a494edee69df273e5cfbd345
tree56e3baf44132ee7cffcecfc52640a23b8763b76f
parentec5585425e4f355f2d88593a4780b7c7cc9713c5
parentd3c0ef7e136d21130482f9d6bef005700d59c377
Merge "mediawiki.toolbar: Properly deprecate #init"