jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/394381 )
Change subject: Remove reference to non existing file in extension.json
......................................................................
Remove reference to non existing file in extension.json
See Ifbbe4207c5bfba84cd5986800c57503c6f4f112a
Change-Id: I2c3582fea9abeddc4d9ced6f27a6e108a97a779b
---
M extension.json
1 file changed, 0 insertions(+), 3 deletions(-)
Approvals:
Skizzerz: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index d938203..57a91a7 100644
--- a/extension.json
+++ b/extension.json
@@ -31,9 +31,6 @@
"merge_strategy": "array_merge"
}
},
- "ExtensionMessagesFiles": {
- "AuthorProtect": "AuthorProtect.i18n.php"
- },
"AvailableRights": [
"author",
"authorprotect"
--
To view, visit https://gerrit.wikimedia.org/r/394381
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2c3582fea9abeddc4d9ced6f27a6e108a97a779b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AuthorProtect
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Skizzerz <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
