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