*Follow-up r76275: regexp improvement akin to IP.php

[mediawiki.git] / thumb.php5

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