pass user object for delete/undelete/filerevert in api/gui
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 6 Oct 2012 09:54:50 +0000 (11:54 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Sat, 6 Oct 2012 09:54:50 +0000 (11:54 +0200)
commit36c375f766c933fc6486fd8c8c69d42115f2e025
treef9ee3b9095ec39c46a2fb26ea521220642e4e969
parent736db146cc110fa0d49d10390de226249740e16a
pass user object for delete/undelete/filerevert in api/gui

Change-Id: Idd214fa1ad9d05ebb2a79225256fb344a1085e9d
includes/actions/RevertAction.php
includes/api/ApiDelete.php
includes/api/ApiFileRevert.php
includes/api/ApiUndelete.php
includes/specials/SpecialUndelete.php