jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344336 )
Change subject: Add config doc in extension.json
......................................................................
Add config doc in extension.json
Change-Id: I7a4fab4883bef4178f7b7bdbd981e72a9c8b52fc
---
M extension.json
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
WMDE-Fisch: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index 3e9aa50..58f1b4a 100644
--- a/extension.json
+++ b/extension.json
@@ -16,6 +16,7 @@
]
},
"config": {
+ "@FileExporterTarget": "The Special:ImportFile page on the
target wiki, as provided by the FileImporter extension.",
"FileExporterTarget":
"https://commons.wikimedia.org/wiki/Special:ImportFile";
},
"Hooks": {
--
To view, visit https://gerrit.wikimedia.org/r/344336
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7a4fab4883bef4178f7b7bdbd981e72a9c8b52fc
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/FileExporter
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
