[MediaWiki-commits] [Gerrit] mediawiki...ProofreadPage[master]: Makes sure that "Proofread tools" toolbar is always loaded a...

2016-12-14 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/327027 ) Change subject: Makes sure that "Proofread tools" toolbar is always loaded after Page: pages edit interface setup .. Makes sure

[MediaWiki-commits] [Gerrit] mediawiki...ProofreadPage[master]: Makes sure that "Proofread tools" toolbar is always loaded a...

2016-12-13 Thread Tpt (Code Review)
Tpt has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/327027 ) Change subject: Makes sure that "Proofread tools" toolbar is always loaded after Page: pages edit interface setup .. Makes sure that "Proofread