[MediaWiki-commits] [Gerrit] WikidataPageBanner option to add icons added - change (mediawiki...WikidataPageBanner)

2015-07-02 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: WikidataPageBanner option to add icons added .. WikidataPageBanner option to add icons added The extension now supports defining new icons, which can be

[MediaWiki-commits] [Gerrit] WikidataPageBanner option to add icons added - change (mediawiki...WikidataPageBanner)

2015-06-01 Thread Sumit (Code Review)
Sumit has uploaded a new change for review. https://gerrit.wikimedia.org/r/215029 Change subject: WikidataPageBanner option to add icons added .. WikidataPageBanner option to add icons added The extension now supports