[MediaWiki-commits] [Gerrit] WikidataPageBanner drop OOUI\Theme::setSingleton - change (mediawiki...WikidataPageBanner)

2015-07-24 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: WikidataPageBanner drop OOUI\Theme::setSingleton .. WikidataPageBanner drop OOUI\Theme::setSingleton Remove the call to OOUI\Theme::setSingleton(), as

[MediaWiki-commits] [Gerrit] WikidataPageBanner drop OOUI\Theme::setSingleton - change (mediawiki...WikidataPageBanner)

2015-07-23 Thread Sumit (Code Review)
Sumit has uploaded a new change for review. https://gerrit.wikimedia.org/r/226558 Change subject: WikidataPageBanner drop OOUI\Theme::setSingleton .. WikidataPageBanner drop OOUI\Theme::setSingleton Remove the call to