Follow up to r71110, use of static var instead of global var, as suggested by Platonides

[mediawiki.git] / opensearch_desc.php5

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