add moveoverredirect to result of api move
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 31 Aug 2012 14:15:13 +0000 (16:15 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 31 Aug 2012 14:15:13 +0000 (16:15 +0200)
commit7a427c2be80070fffac9224d2badf934341e3867
tree5939b3e527497e9132c540049d1cc92a9a3d572b
parent566852deab84d0f25f988acc02de434b6398de51
add moveoverredirect to result of api move

Change-Id: I5047d94d75112c1390c42a7eb3bb4f16b5249539
includes/api/ApiMove.php