diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/util.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/util.php b/lib/util.php index af31a9bd4..e8805d8f4 100644 --- a/lib/util.php +++ b/lib/util.php @@ -185,6 +185,8 @@ function common_show_header($pagetitle, $callable=NULL, $data=NULL, $headercall= common_element('script', array('type' => 'text/javascript', 'src' => common_path('js/util.js')), ' '); + common_element('link', array('rel' => 'search', 'type' => 'application/opensearchdescription+xml', + 'href' => common_local_url('opensearch'), 'title' => common_config('site', 'name').' Search')); if ($callable) { if ($data) { @@ -761,6 +763,8 @@ function common_fancy_url($action, $args=NULL) { return common_path('rss'); case 'publicxrds': return common_path('xrds'); + case 'opensearch': + return common_path('opensearch'); case 'doc': return common_path('doc/'.$args['title']); case 'login': |