Per Nikerabbit, follow-up to r59761: just check for "instanceof User"

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

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