Add $wgReauthenticateTime to extension.json
authorGergő Tisza <gtisza@wikimedia.org>
Thu, 15 Nov 2018 23:39:58 +0000 (15:39 -0800)
committerGergő Tisza <gtisza@wikimedia.org>
Thu, 15 Nov 2018 23:41:50 +0000 (15:41 -0800)
Change-Id: I9722c065d522e18b6bf488c721f48ee7b7b9e494

docs/extension.schema.v1.json
docs/extension.schema.v2.json
includes/registration/ExtensionProcessor.php

index f6f3b21..7e42035 100644 (file)
                                "type": "string"
                        }
                },
+               "ReauthenticateTime": {
+                       "type": "object",
+                       "patternProperties": {
+                               ".*": {
+                                       "type": "integer"
+                               }
+                       }
+               },
                "callback": {
                        "type": [
                                "array",
index 8ade991..c5c3b5d 100644 (file)
                                "type": "string"
                        }
                },
+               "ReauthenticateTime": {
+                       "type": "object",
+                       "patternProperties": {
+                               ".*": {
+                                       "type": "integer"
+                               }
+                       }
+               },
                "callback": {
                        "type": [
                                "array",
index e43b3b8..07fab78 100644 (file)
@@ -46,6 +46,7 @@ class ExtensionProcessor implements Processor {
                'PasswordPolicy',
                'RateLimits',
                'RawHtmlMessages',
+               'ReauthenticateTime',
                'RecentChangesFlags',
                'RemoveCredentialsBlacklist',
                'RemoveGroups',