Umherirrender has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/358151 )
Change subject: Add PropertySuggester
......................................................................
Add PropertySuggester
Change-Id: I482a4a1233ed123577721529e34e35b58a39afa1
---
M .gitmodules
A PropertySuggester
2 files changed, 5 insertions(+), 0 deletions(-)
Approvals:
Umherirrender: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index 79d00d0..3e5770e 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1998,6 +1998,10 @@
path = ProofreadPage
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/ProofreadPage
branch = .
+[submodule "PropertySuggester"]
+ path = PropertySuggester
+ url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/PropertySuggester
+ branch = .
[submodule "ProtectSite"]
path = ProtectSite
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/ProtectSite
diff --git a/PropertySuggester b/PropertySuggester
new file mode 160000
index 0000000..81a4c1f
--- /dev/null
+++ b/PropertySuggester
@@ -0,0 +1 @@
+Subproject commit 81a4c1f16488baac1475f36b692ba5135e54d4dc
--
To view, visit https://gerrit.wikimedia.org/r/358151
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I482a4a1233ed123577721529e34e35b58a39afa1
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
