Umherirrender has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/371200 )

Change subject: Remove ResourceModules ext.PluggableAuthAutoLogin
......................................................................

Remove ResourceModules ext.PluggableAuthAutoLogin

Follow up I3eff5988c95738ef6de5fd8404ad3becba09b0c8

Change-Id: Ide1ecab060c2cc2b147454a7a12aecb55c3dcb3d
---
M extension.json
1 file changed, 0 insertions(+), 12 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/PluggableAuth 
refs/changes/00/371200/1

diff --git a/extension.json b/extension.json
index 1e9c2bd..520960a 100644
--- a/extension.json
+++ b/extension.json
@@ -26,18 +26,6 @@
                "PluggableAuthContinueAuthenticationRequest": 
"PluggableAuthContinueAuthenticationRequest.php",
                "PluggableAuthLogin": "PluggableAuthLogin.php"
        },
-       "ResourceModules": {
-               "ext.PluggableAuthAutoLogin" : {
-                       "scripts": [
-                               "ext.PluggableAuthAutoLogin.js"
-                       ],
-                       "position": "top",
-                       "targets": [
-                               "desktop",
-                               "mobile"
-                       ]
-               }
-       },
        "ResourceFileModulePaths": {
                "localBasePath": "",
                "remoteExtPath": "PluggableAuth"

-- 
To view, visit https://gerrit.wikimedia.org/r/371200
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ide1ecab060c2cc2b147454a7a12aecb55c3dcb3d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PluggableAuth
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to