Merge "Fix repo type of a LocalFile to be LocalRepo, which has a cleanupDeletedBatch...
[lhc/web/wiklou.git] / opensearch_desc.php5
1 <?php require './opensearch_desc.php';