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) | ||
commit | c68ae9d56127da6d11a7e52ec337b0924195f6e9 | |
tree | 7f84d87ba4781c92fc7a83f7bd051e1ad2b0b1d4 | tree | snapshot |
parent | 75d95e47b467363ecdcbb6fd334c2a22b0d715ad | commit | diff |
maintenance/convertExtensionToRegistration.php | diff | blob | history |