* Removed force index broken by r45764; shouldn't be needed anyway

[mediawiki.git] / opensearch_desc.php5

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