Reedy has submitted this change and it was merged.
Change subject: Update Wikidata related extensions to use 1.21wmf11 branch
points
......................................................................
Update Wikidata related extensions to use 1.21wmf11 branch points
Change-Id: I48f486954082dda8be83840d9da2577a5f189989
---
M make-wmf-branch/default.conf
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
Reedy: Verified; Looks good to me, approved
diff --git a/make-wmf-branch/default.conf b/make-wmf-branch/default.conf
index 16216c1..93a1dce 100644
--- a/make-wmf-branch/default.conf
+++ b/make-wmf-branch/default.conf
@@ -157,10 +157,10 @@
# The key is the extension name and the value is either true (copy last
branch) or
# a string (use that exact commit hash)
$specialExtensions = array(
- 'DataValues' => '2013-01-30',
- 'Diff' => '2013-01-30',
+ 'DataValues' => 'mw1.21-wmf11',
+ 'Diff' => 'mw1.21-wmf11',
'MobileFrontend' => 'production',
- 'Wikibase' => 'mw1.21-wmf9',
+ 'Wikibase' => 'mw1.21-wmf11',
);
# Branched extensions - these extensions are branched along with core since
we've got
--
To view, visit https://gerrit.wikimedia.org/r/52058
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I48f486954082dda8be83840d9da2577a5f189989
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits