diff options
author | umherirrender <umherirrender_de.wp@web.de> | 2012-08-25 19:55:37 +0200 |
---|---|---|
committer | umherirrender <umherirrender_de.wp@web.de> | 2012-08-25 19:55:37 +0200 |
commit | 7b324005bdbc1807d54e91c52b45b5522e77fce1 (patch) | |
tree | 108b292665f257924775c9e5deba8372ce808bf1 /includes/filebackend | |
parent | 4c5214f27f722b9b3c54b68a7e9d72a60915e053 (diff) | |
download | mediawikicore-7b324005bdbc1807d54e91c52b45b5522e77fce1.tar.gz mediawikicore-7b324005bdbc1807d54e91c52b45b5522e77fce1.zip |
Use __METHOD__ in SpecialUndelete.php
Change-Id: Ia223f91a26b35677818d3ed46331813da7dbf209
Diffstat (limited to 'includes/filebackend')
0 files changed, 0 insertions, 0 deletions