Demon has submitted this change and it was merged.

Change subject: Add labsconsole extensions to make-wmf-branch
......................................................................


Add labsconsole extensions to make-wmf-branch

Bug: 42756
Change-Id: Id3f7891eff8928c062557e3a75e5fe554413abe3
---
M make-wmf-branch/default.conf
1 file changed, 8 insertions(+), 0 deletions(-)

Approvals:
  Demon: Verified; Looks good to me, approved



diff --git a/make-wmf-branch/default.conf b/make-wmf-branch/default.conf
index 93a1dce..1344d1b 100644
--- a/make-wmf-branch/default.conf
+++ b/make-wmf-branch/default.conf
@@ -151,6 +151,9 @@
        'WikimediaMessages',
        'WikimediaShopLink',
        'ZeroRatedMobileAccess',
+
+       // For wikitech use only!
+       'SemanticForms',
 );
 
 # Extensions extensions that we want to copy their status from the previous 
branch
@@ -161,6 +164,11 @@
        'Diff' => 'mw1.21-wmf11',
        'MobileFrontend' => 'production',
        'Wikibase' => 'mw1.21-wmf11',
+
+       // For wikitech use only!
+       'SemanticMediaWiki' => '1.8.x',
+       'SemanticResultFormats' => '1.8.x',
+       'Validator' => '0.5.x',
 );
 
 # Branched extensions - these extensions are branched along with core since 
we've got

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Id3f7891eff8928c062557e3a75e5fe554413abe3
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Demon <ch...@wikimedia.org>
Gerrit-Reviewer: Ryan Lane <rl...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to