It's no problem to use empty(), as long as you return $str rather than an empty string.

[mediawiki.git] / index.php5

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