Per ^demon, follow-up r61173: remove useless "@return nothing"

[mediawiki.git] / opensearch_desc.php5

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