(bug 7509) Don't hardcode separation strings, make them configurable

[mediawiki.git] / opensearch_desc.php5

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