Reedy has uploaded a new change for review.
https://gerrit.wikimedia.org/r/322209
Change subject: Set FileExtensions to $GLOBALS
......................................................................
Set FileExtensions to $GLOBALS
Change-Id: Ie52004d25ebc06c81cd7d8d7de60479ff365ccea
---
M docs/extension.schema.json
M docs/extension.schema.v1.json
M includes/registration/ExtensionProcessor.php
3 files changed, 9 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/09/322209/1
diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 38b5dea..638ee5d 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -650,6 +650,10 @@
"type": "object",
"description": "Password policies"
},
+ "FileExtensions": {
+ "type": "object",
+ "description": "Preferred file extensions for uploading"
+ },
"callback": {
"type": [
"array",
diff --git a/docs/extension.schema.v1.json b/docs/extension.schema.v1.json
index f7c0a2b..4d5c44f 100644
--- a/docs/extension.schema.v1.json
+++ b/docs/extension.schema.v1.json
@@ -640,6 +640,10 @@
"type": "object",
"description": "Password policies"
},
+ "FileExtensions": {
+ "type": "object",
+ "description": "Preferred file extensions for uploading"
+ },
"callback": {
"type": [
"array",
diff --git a/includes/registration/ExtensionProcessor.php
b/includes/registration/ExtensionProcessor.php
index 8fa71be..207f884 100644
--- a/includes/registration/ExtensionProcessor.php
+++ b/includes/registration/ExtensionProcessor.php
@@ -26,6 +26,7 @@
'ExtensionEntryPointListFiles',
'ExtensionFunctions',
'FeedClasses',
+ 'FileExtensions',
'FilterLogTypes',
'GrantPermissionGroups',
'GrantPermissions',
--
To view, visit https://gerrit.wikimedia.org/r/322209
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie52004d25ebc06c81cd7d8d7de60479ff365ccea
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
