Fix use of $wgDBadminuser on 'simple' database setup, where $wgDBservers isn't set

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

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