fix diff against archived revision deleted version
authorumherirrender <umherirrender_de.wp@web.de>
Sun, 17 Jun 2012 19:56:00 +0000 (21:56 +0200)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 8 Jul 2012 14:52:10 +0000 (14:52 +0000)
commit2897384bee8ed6cee82e202cddbdafa197e3a42f
tree8f0e21c5535f58c451041af1ab8461abf697fc0b
parent56cba166bd43477ff787d3a055abeb3d993daebd
fix diff against archived revision deleted version

In my opinion, this does not make problems with caching.

Change-Id: I637401c92cadc78c1443ffb2e16d03b956c3bfa5
includes/specials/SpecialUndelete.php