Update timestamp of redirect when renaming over a redirect; add some comments
authorBrion Vibber <brion@users.mediawiki.org>
Fri, 5 Dec 2003 04:35:23 +0000 (04:35 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Fri, 5 Dec 2003 04:35:23 +0000 (04:35 +0000)
commita1106db8ac34e5fed0afe43af38b831bc44d5c74
tree1fe2037df954f6dc0a36ab895b127dfc5c2e46b8
parent25cbe88a694c478df90cca265a1bf89ad07db77a
Update timestamp of redirect when renaming over a redirect; add some comments
includes/SpecialMovepage.php