* r81084 added prefix to index name and as this index gets synced directly it has...

[mediawiki.git] / opensearch_desc.php5

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