[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Add a way to override interwiki prefixes

2017-10-17 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/383815 ) Change subject: Add a way to override interwiki prefixes .. Add a way to override interwiki prefixes Duplicates some specific

[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Add a way to override interwiki prefixes

2017-10-12 Thread DCausse (Code Review)
DCausse has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/383815 ) Change subject: Add a way to override interwiki prefixes .. Add a way to override interwiki prefixes Duplicates some specific overrides