Aude has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/76481


Change subject: Add DataTypes extension
......................................................................

Add DataTypes extension

- this allows things to work whether we are on a deployment branch,
which has DataTypes within DataValues or in master / future deployment
branch which will have DataTypes all in the new extension.

- tested with merge message list and it does the right thing in both
  cases.

Change-Id: I74f68d20d9e98f73e2dfda56d4ae21c59853713f
---
M wmf-config/CommonSettings.php
M wmf-config/extension-list
2 files changed, 6 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/81/76481/1

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 99e327d..6764884 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2480,6 +2480,11 @@
 
 if ( $wmgUseWikibaseRepo || $wmgUseWikibaseClient ) {
        require_once( "$IP/extensions/DataValues/DataValues.php" );
+
+       if ( !defined( 'DataTypes_VERSION' ) ) {
+               require_once( "$IP/extensions/DataTypes/DataTypes.php" );
+       }
+
        require_once( "$IP/extensions/Diff/Diff.php" );
        require_once( "$IP/extensions/WikibaseDataModel/WikibaseDataModel.php" 
);
        require_once( "$IP/extensions/Wikibase/lib/WikibaseLib.php" );
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 22feee3..f7df1f9 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -38,6 +38,7 @@
 $IP/extensions/DataValues/ValueFormatters/ValueFormatters.i18n.php
 $IP/extensions/DataValues/ValueParsers/ValueParsers.i18n.php
 $IP/extensions/DataValues/ValueValidators/ValueValidators.i18n.php
+$IP/extensions/DataTypes/DataTypes.i18n.php
 $IP/extensions/Diff/Diff.php
 $IP/extensions/DisableAccount/DisableAccount.php
 $IP/extensions/Disambiguator/Disambiguator.php

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I74f68d20d9e98f73e2dfda56d4ae21c59853713f
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Aude <[email protected]>

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

Reply via email to