follow up to r111264 - get rid of wgDBDataObjects as per suggestion by Platonides
[lhc/web/wiklou.git] / index.php5
1 <?php require './index.php';