Merge "EditPage: Declare 'mediawiki.toolbar' needed for inline script"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Aug 2018 22:10:59 +0000 (22:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Aug 2018 22:10:59 +0000 (22:10 +0000)
commitcbfc4459d31aa3dad45a6c12f19b836f1ae48412
tree720c5b0530f6470f6f69077d9c609dfc4c5362e5
parent89403036a66d5d22dd9a7b9e990d641bd1f65aec
parentfb997e13891685c49d98f27d7b445c303a22f73a
Merge "EditPage: Declare 'mediawiki.toolbar' needed for inline script"