[MediaWiki-commits] [Gerrit] WikidataPageBanner prefix all globals with WPB - change (mediawiki...WikidataPageBanner)

2015-07-28 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: WikidataPageBanner prefix all globals with WPB .. WikidataPageBanner prefix all globals with WPB Bug: T106586 Change-Id:

[MediaWiki-commits] [Gerrit] WikidataPageBanner prefix all globals with WPB - change (mediawiki...WikidataPageBanner)

2015-07-24 Thread Sumit (Code Review)
Sumit has uploaded a new change for review. https://gerrit.wikimedia.org/r/226919 Change subject: WikidataPageBanner prefix all globals with WPB .. WikidataPageBanner prefix all globals with WPB Bug: T106586 Change-Id:

[MediaWiki-commits] [Gerrit] WikidataPageBanner prefix all globals with WPB - change (mediawiki...WikidataPageBanner)

2015-07-23 Thread Sumit (Code Review)
Sumit has uploaded a new change for review. https://gerrit.wikimedia.org/r/226520 Change subject: WikidataPageBanner prefix all globals with WPB .. WikidataPageBanner prefix all globals with WPB Bug: T106586 Change-Id: