* integrating UniversalEditButton extension into core (enabled by default, set $wgUni...

[mediawiki.git] / redirect.php5

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