[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Add a way to override interwiki prefixes
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
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