* Add --no-extensions option to mwdocgen.php to exclude the extensions directory

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

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