jenkins-bot has submitted this change and it was merged.

Change subject: Disable Vector extension
......................................................................


Disable Vector extension

Change-Id: I7e66593dafa629a5bd30d580f14d7d028b9c93e6
---
M TranslatewikiSettings.php
1 file changed, 0 insertions(+), 3 deletions(-)

Approvals:
  Siebrand: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/TranslatewikiSettings.php b/TranslatewikiSettings.php
index 09cac9c..8457647 100644
--- a/TranslatewikiSettings.php
+++ b/TranslatewikiSettings.php
@@ -317,9 +317,6 @@
 $wgExtraLanguageNames['qqq']       = 'Message documentation'; # No linguistic 
content. Used for documenting messages
 $wgExtraLanguageNames['ike']       = 'ᐃᓄᒃᑎᑐᑦ/inuktitut'; # Dunny to have 
portal appear in Special:SupportedLanguages
 
-# Usability Initiative extensions -- 2010-01-21 by Raymond
-include( "$IP/extensions/Vector/Vector.php" );
-
 include( "$IP/extensions/WikiEditor/WikiEditor.php" ); # Re-enabled by 
Siebrand / 2011-08-30
 $wgWikiEditorModules = array(
        'toolbar' => array( 'global' => false, 'user' => true ),

-- 
To view, visit https://gerrit.wikimedia.org/r/87032
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7e66593dafa629a5bd30d580f14d7d028b9c93e6
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Raimond Spekking <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to