[MediaWiki-commits] [Gerrit] WikidataPageBanner add a separate flag for toc - change (mediawiki...WikidataPageBanner)
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)
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