Document what settings are disabled by $wgHtml5

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

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