[MediaWiki-commits] [Gerrit] mediawiki...DisqusTag[master]: Using the extension registration

2018-01-10 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/403313 ) Change subject: Using the extension registration .. Using the extension registration Bug: T184570 Change-Id: I9e11803326292da40

[MediaWiki-commits] [Gerrit] mediawiki...DisqusTag[master]: Using the extension registration

2018-01-09 Thread LukBukkit (Code Review)
LukBukkit has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/403313 ) Change subject: Using the extension registration .. Using the extension registration Bug: T184570 Change-Id: I9e11803326292da407629f0c816