jenkins-bot has submitted this change and it was merged. Change subject: Updated some versions ......................................................................
Updated some versions Change-Id: Id0aec4594e5c6a52a7b70da8e1bca3e566fbdf93 --- M externals 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: Yaron Koren: Checked; Looks good to me, approved jenkins-bot: Verified diff --git a/externals b/externals index 1599649..c618a5a 100644 --- a/externals +++ b/externals @@ -13,18 +13,18 @@ SemanticForms git.wikimedia.org/git/mediawiki/extensions 2.7 SemanticFormsInputs git.wikimedia.org/git/mediawiki/extensions REL_0_7 SemanticCompoundQueries git.wikimedia.org/git/mediawiki/extensions 0.3.4 -SemanticDrilldown git.wikimedia.org/git/mediawiki/extensions 1.3.1 +SemanticDrilldown git.wikimedia.org/git/mediawiki/extensions 1.4 SemanticMaps github.com/SemanticMediaWiki 3.0.4 SemanticImageInput git.wikimedia.org/git/mediawiki/extensions master SemanticInternalObjects git.wikimedia.org/git/mediawiki/extensions 0.7.6 SemanticWatchlist github.com/SemanticMediaWiki 0.2.2 AdminLinks git.wikimedia.org/git/mediawiki/extensions 0.1.8 -ApprovedRevs git.wikimedia.org/git/mediawiki/extensions 0.6.6 +ApprovedRevs git.wikimedia.org/git/mediawiki/extensions 0.7 Arrays git.wikimedia.org/git/mediawiki/extensions master DataTransfer git.wikimedia.org/git/mediawiki/extensions 0.4.1 ExternalData git.wikimedia.org/git/mediawiki/extensions 1.6.4 HeaderTabs git.wikimedia.org/git/mediawiki/extensions 0.9.3 Maps github.com/JeroenDeDauw 3.0.1 -PageSchemas git.wikimedia.org/git/mediawiki/extensions 0.4.2 +PageSchemas git.wikimedia.org/git/mediawiki/extensions 0.4.3 ReplaceText git.wikimedia.org/git/mediawiki/extensions 0.9.7 Widgets git.wikimedia.org/git/mediawiki/extensions 1.0 -- To view, visit https://gerrit.wikimedia.org/r/133253 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id0aec4594e5c6a52a7b70da8e1bca3e566fbdf93 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SemanticBundle Gerrit-Branch: master Gerrit-Owner: Yaron Koren <yaro...@gmail.com> Gerrit-Reviewer: Yaron Koren <yaro...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
