Followup r78118: $wgUpgradeKey was already in DefaultSettings, use Tim's better comment

[lhc/web/wiklou.git] / redirect.php5

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