From 055ec8817ee472eb64e5ed1ca057efd668bfae2e Mon Sep 17 00:00:00 2001
From: =?utf8?q?Gerg=C5=91=20Tisza?= <gtisza@wikimedia.org>
Date: Wed, 11 May 2016 21:41:42 +0000
Subject: [PATCH] registration: Handle $wgSessionProviders in
 ExtensionProcessor

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

Change-Id: Ic9daf9898a0c044d1e2611ca0276d7904a3372ce
---
 docs/extension.schema.json                   | 4 ++++
 includes/registration/ExtensionProcessor.php | 1 +
 2 files changed, 5 insertions(+)

diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index ed3eaa9ad1..158cb6e840 100644
--- 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 415e6647e1..26058c9b68 100644
--- 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',
-- 
2.20.1