[MediaWiki-commits] [Gerrit] WikidataPageBanner add a separate flag for toc - change (mediawiki...WikidataPageBanner)

2015-10-24 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: WikidataPageBanner add a separate flag for toc .. WikidataPageBanner add a separate flag for toc This will prevent setting the actual toc with true,

[MediaWiki-commits] [Gerrit] WikidataPageBanner add a separate flag for toc - change (mediawiki...WikidataPageBanner)

2015-10-22 Thread Sumit (Code Review)
Sumit has uploaded a new change for review. https://gerrit.wikimedia.org/r/248277 Change subject: WikidataPageBanner add a separate flag for toc .. WikidataPageBanner add a separate flag for toc This will prevent setting the