registration: Handle $wgSessionProviders in ExtensionProcessor

See https://www.mediawiki.org/wiki/Manual:$wgSessionProviders

Change-Id: Ic9daf9898a0c044d1e2611ca0276d7904a3372ce

diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index ed3eaa9..158cb6e 100644 (file)
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -508,6 +508,10 @@
                        "type": "object",
                        "description": "Registry of factory functions to create Config objects"
                },
+               "SessionProviders": {
+                       "type": "object",
+                       "description": "Session providers"
+               },
                "CentralIdLookupProviders": {
                        "type": "object",
                        "description": "Central ID lookup providers"

diff --git a/includes/registration/ExtensionProcessor.php b/includes/registration/ExtensionProcessor.php
index 415e664..26058c9 100644 (file)
--- a/includes/registration/ExtensionProcessor.php
+++ b/includes/registration/ExtensionProcessor.php
@@ -23,6 +23,7 @@ class ExtensionProcessor implements Processor {
                'AvailableRights',
                'ContentHandlers',
                'ConfigRegistry',
+               'SessionProviders',
                'CentralIdLookupProviders',
                'RateLimits',
                'RecentChangesFlags',