Fix JS errors in prefs.js caused by the (unintentional?) renaming of mw-input-timecor...

[mediawiki.git] / thumb.php5

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