$wgHTML5 is a different variable than $wgHtml5 and the right name is the later.

[lhc/web/wiklou.git] / wiki.phtml

<?php
// stub file for compatibility with older versions
include_once('./index.php');