Florianschmidtwelzow has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/375611 )
Change subject: Archive the WebPlatformSearchAutocomplete extension
......................................................................
Archive the WebPlatformSearchAutocomplete extension
Bug: T174869
Change-Id: Iff4963c2ed89816de47b70ad26d6d1004efac67e
---
M .gitmodules
D WebPlatformSearchAutocomplete
2 files changed, 0 insertions(+), 5 deletions(-)
Approvals:
Florianschmidtwelzow: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index 2cc2746..f52c146 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2938,10 +2938,6 @@
path = WebPlatformAuth
url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/WebPlatformAuth
branch = .
-[submodule "WebPlatformSearchAutocomplete"]
- path = WebPlatformSearchAutocomplete
- url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/WebPlatformSearchAutocomplete
- branch = .
[submodule "WhiteSpace"]
path = WhiteSpace
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/WhiteSpace
diff --git a/WebPlatformSearchAutocomplete b/WebPlatformSearchAutocomplete
deleted file mode 160000
index 4ffe3fc..0000000
--- a/WebPlatformSearchAutocomplete
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 4ffe3fc92028f5669ca6c7bc56c33795d1928821
--
To view, visit https://gerrit.wikimedia.org/r/375611
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iff4963c2ed89816de47b70ad26d6d1004efac67e
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio <maure...@tools.wmflabs.org>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: SamanthaNguyen <samanthanguyen1...@gmail.com>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
