jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/399370 )
Change subject: Use PSR-4 autloader from MediaWiki
......................................................................
Use PSR-4 autloader from MediaWiki
Not strictly necesarry for this extension, because there really is only
this single file. But renaming this file fixes an other issue: The filename
and the classname did not matched. Now they do.
Bug: T183260
Change-Id: Icdd85d7b9231e7ccbe20cd5dbdf8442938d0ae9b
---
R Hooks.php
M extension.json
2 files changed, 6 insertions(+), 3 deletions(-)
Approvals:
Lucas Werkmeister (WMDE): Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikidataOrg.hooks.php b/Hooks.php
similarity index 100%
rename from WikidataOrg.hooks.php
rename to Hooks.php
diff --git a/extension.json b/extension.json
index 0ce09ce..ea6d8e5 100644
--- a/extension.json
+++ b/extension.json
@@ -6,13 +6,16 @@
"descriptionmsg": "wikidata-org-desc",
"license-name": "GPL-2.0+",
"type": "wikibase",
+ "requires": {
+ "MediaWiki": ">= 1.31.0"
+ },
+ "AutoloadNamespaces": {
+ "WikidataOrg\\": "./"
+ },
"MessagesDirs": {
"Wikidata.org": [
"i18n"
]
- },
- "AutoloadClasses": {
- "WikidataOrg\\Hooks": "WikidataOrg.hooks.php"
},
"ResourceModules": {
"ext.wikidata-org.badges": {
--
To view, visit https://gerrit.wikimedia.org/r/399370
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icdd85d7b9231e7ccbe20cd5dbdf8442938d0ae9b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikidata.org
Gerrit-Branch: master
Gerrit-Owner: Thiemo Kreuz (WMDE) <[email protected]>
Gerrit-Reviewer: Lucas Werkmeister (WMDE) <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
