Applying patch by Ryan Kaldari (bug 28690): Adding border to jQuery UI 'vector' theme...
[lhc/web/wiklou.git] / opensearch_desc.php5
1 <?php require './opensearch_desc.php';