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:
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:
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: