[MediaWiki-commits] [Gerrit] WikidataPageBanner remove unused files - change (mediawiki...WikidataPageBanner)

2015-06-29 Thread Sumit (Code Review)
Sumit has uploaded a new change for review. https://gerrit.wikimedia.org/r/221636 Change subject: WikidataPageBanner remove unused files .. WikidataPageBanner remove unused files Following redundant files leftover from

[MediaWiki-commits] [Gerrit] WikidataPageBanner remove unused files - change (mediawiki...WikidataPageBanner)

2015-06-29 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: WikidataPageBanner remove unused files .. WikidataPageBanner remove unused files Following redundant files leftover from boilerplate extension have been