author | Gergő Tisza <gtisza@wikimedia.org> | |
Fri, 20 May 2016 14:27:56 +0000 (14:27 +0000) | ||
committer | Umherirrender <umherirrender_de.wp@web.de> | |
Fri, 20 May 2016 18:56:40 +0000 (18:56 +0000) |
maintenance/convertExtensionToRegistration.php | patch | blob | history |