Followup r101161 having array() doesn't work so well with isset, changing to null

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

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