In response to bug #20550 - this makes the IDs of portlets more consistent.

[mediawiki.git] / thumb.php5

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