Revert r102624, r104262 (user display name stuff). Per CR there isn't consensus on...

[mediawiki.git] / redirect.php5

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