Umherirrender has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405423 )
Change subject: Add extension VersionCompare
......................................................................
Add extension VersionCompare
Change-Id: I2d5dde3c52589d100d3c529c7bb5a47441e19fc4
---
M .gitmodules
A VersionCompare
2 files changed, 5 insertions(+), 0 deletions(-)
Approvals:
Umherirrender: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index 0c3c3e3..2453227 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2874,6 +2874,10 @@
path = Variables
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Variables
branch = .
+[submodule "VersionCompare"]
+ path = VersionCompare
+ url = https://gerrit.wikimedia.org/r/mediawiki/extensions/VersionCompare
+ branch = .
[submodule "Video"]
path = Video
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Video
diff --git a/VersionCompare b/VersionCompare
new file mode 160000
index 0000000..5f04aa1
--- /dev/null
+++ b/VersionCompare
@@ -0,0 +1 @@
+Subproject commit 5f04aa122c0265808dee3cdf1bc528174adf06df
--
To view, visit https://gerrit.wikimedia.org/r/405423
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2d5dde3c52589d100d3c529c7bb5a47441e19fc4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
