Follow up r62958. addToSidebar() was added in r59215, we still can redesign it and...

[mediawiki.git] / index.php5

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