No point in fetching the result in Database::unlock() if we're not using it anyway.

[mediawiki.git] / redirect.php5

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