Use the load balancer to get the server count, not $wgServers

[lhc/web/wiklou.git] / opensearch_desc.php5

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