No more undefined usage of rev{Start,End}Id warnings

[mediawiki.git] / thumb.php5

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