author | umherirrender <umherirrender_de.wp@web.de> | |
Sat, 16 May 2015 11:45:24 +0000 (13:45 +0200) | ||
committer | umherirrender <umherirrender_de.wp@web.de> | |
Sat, 16 May 2015 20:26:33 +0000 (22:26 +0200) | ||
commit | d06aaa9b20774c5db6d6a6a13d76445b7b914129 | |
tree | d527c377c907401a3107dcc01b1b9013ba660747 | tree | snapshot |
parent | 2e849b40e7312540e5e81c8531a83df7a13ad2bb | commit | diff |
docs/extension.schema.json | diff | blob | history | |
includes/registration/ExtensionProcessor.php | diff | blob | history | |
maintenance/convertExtensionToRegistration.php | diff | blob | history |