Make the CliInstaller use --server to set wgServer instead of always setting it to...

[mediawiki.git] / thumb.php5

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