[MediaWiki-commits] [Gerrit] WikidataPageBanner switch for default banner - change (mediawiki...WikidataPageBanner)

2015-08-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: WikidataPageBanner switch for default banner .. WikidataPageBanner switch for default banner Adds a switch to enable default banners on pages.Even if

[MediaWiki-commits] [Gerrit] WikidataPageBanner switch for default banner - change (mediawiki...WikidataPageBanner)

2015-08-12 Thread Sumit (Code Review)
Sumit has uploaded a new change for review. https://gerrit.wikimedia.org/r/230978 Change subject: WikidataPageBanner switch for default banner .. WikidataPageBanner switch for default banner Adds a switch to enable default