Reedy has submitted this change and it was merged.
Change subject: Add CirrusSearch
......................................................................
Add CirrusSearch
Change-Id: I9aa66ce472d206ddb011986545083e4c83fb0cc6
---
M .gitmodules
A extensions/CirrusSearch
2 files changed, 3 insertions(+), 0 deletions(-)
Approvals:
Reedy: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index 264b1eb..1f5591c 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -466,3 +466,6 @@
[submodule "extensions/DataTypes"]
path = extensions/DataTypes
url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/DataTypes.git
+[submodule "extensions/CirrusSearch"]
+ path = extensions/CirrusSearch
+ url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/CirrusSearch.git
diff --git a/extensions/CirrusSearch b/extensions/CirrusSearch
new file mode 160000
index 0000000..01b5298
--- /dev/null
+++ b/extensions/CirrusSearch
+Subproject commit 01b529804dd6b42bb4e6334df8252f7705244663
--
To view, visit https://gerrit.wikimedia.org/r/76558
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9aa66ce472d206ddb011986545083e4c83fb0cc6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.22wmf12
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
