Glaisher has uploaded a new change for review. https://gerrit.wikimedia.org/r/171545
Change subject: Set iw_local to 1 for tools.wmflabs.org ...................................................................... Set iw_local to 1 for tools.wmflabs.org So that URLs like https://en.wikipedia.org/wiki/toollabs: work directly instead of giving a bad title error. Bug: 72220 Change-Id: Ie11a40ac4c11b9b452d74e0dcb424dd16fcf42e5 --- M dumpInterwiki.php M rebuildInterwiki.php 2 files changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikimediaMaintenance refs/changes/45/171545/1 diff --git a/dumpInterwiki.php b/dumpInterwiki.php index 96415ff..cc3d367 100644 --- a/dumpInterwiki.php +++ b/dumpInterwiki.php @@ -245,7 +245,7 @@ $prefix = str_replace( ' ', '_', $prefix ); $url = $matches[2]; - if ( preg_match( '/(wikipedia|wiktionary|wikisource|wikiquote|wikibooks|wikimedia|wikinews|wikiversity|wikivoyage|wikimediafoundation|mediawiki|wikidata)\.org/', $url ) ) { + if ( preg_match( '/(wikipedia|wiktionary|wikisource|wikiquote|wikibooks|wikimedia|wikinews|wikiversity|wikivoyage|wikimediafoundation|mediawiki|wikidata|tools\.wmflabs)\.org/', $url ) ) { $local = 1; } else { $local = 0; diff --git a/rebuildInterwiki.php b/rebuildInterwiki.php index d79201c..6a8fc40 100644 --- a/rebuildInterwiki.php +++ b/rebuildInterwiki.php @@ -108,7 +108,7 @@ if ( preg_match( '/^\|\s*(.*?)\s*\|\|\s*(https?:\/\/.*?)\s*$/', $line, $matches ) ) { $prefix = strtolower( $matches[1] ); $url = $matches[2]; - if ( preg_match( '/(wikipedia|wiktionary|wikisource|wikiquote|wikibooks|wikimedia|wikinews|wikiversity|wikivoyage|wikimediafoundation|mediawiki|wikidata)\.org/', $url ) ) { + if ( preg_match( '/(wikipedia|wiktionary|wikisource|wikiquote|wikibooks|wikimedia|wikinews|wikiversity|wikivoyage|wikimediafoundation|mediawiki|wikidata|tools\.wmflabs)\.org/', $url ) ) { $local = 1; } else { $local = 0; -- To view, visit https://gerrit.wikimedia.org/r/171545 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ie11a40ac4c11b9b452d74e0dcb424dd16fcf42e5 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikimediaMaintenance Gerrit-Branch: master Gerrit-Owner: Glaisher <glaisher.w...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits