follow up r101496 — ^demon's comments re style

[mediawiki.git] / thumb.php5

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