Merge "(bug 30410) Remove deprecated $wgFilterCallback. The 'filtered' API error...
[lhc/web/wiklou.git] / opensearch_desc.php5
1 <?php require './opensearch_desc.php';