Fix for r43173. 'patrol' log is part of core; it's not just for extensions.

[mediawiki.git] / thumb.php5

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