* (bug 14987) Only fix double redirects on page move when the checkbox is checked

[mediawiki.git] / redirect.php5

<?php require './redirect.php';