Skip a part of useless code when redirecting because of getOldIDFromRequest() or...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 12 Mar 2011 14:21:41 +0000 (14:21 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 12 Mar 2011 14:21:41 +0000 (14:21 +0000)
commit33f66d157b96ee10db0c18122179db8ca89627a7
treef7b56c143185b5a64fd7a0da8269603c7b9a4f4d
parent2fecd3ac708788b5e720deb6fd983ba33ac1856d
Skip a part of useless code when redirecting because of getOldIDFromRequest() or showing a diff page
includes/Article.php