author | Umherirrender <umherirrender_de.wp@web.de> | |
Fri, 2 Feb 2018 22:19:43 +0000 (23:19 +0100) | ||
committer | Umherirrender <umherirrender_de.wp@web.de> | |
Mon, 5 Feb 2018 06:56:24 +0000 (06:56 +0000) | ||
commit | 0483765086760f604dc72cab6302d42e786b99b9 | |
tree | 79a6f36f48f9645e157b682b53157fdca9f0d5db | tree | snapshot |
parent | 52d89ccc1f8deba79e17e2f634a1f291a95c0b60 | commit | diff |
includes/registration/ExtensionRegistry.php | diff | blob | history | |
maintenance/convertExtensionToRegistration.php | diff | blob | history |