diff --git a/webtools/addons/public/tpl/bookmarks.tpl b/webtools/addons/public/tpl/bookmarks.tpl index 0bb5eaf31ed8..e0d62a55e37b 100644 --- a/webtools/addons/public/tpl/bookmarks.tpl +++ b/webtools/addons/public/tpl/bookmarks.tpl @@ -32,5 +32,7 @@ {/section} + + {include file="inc/search-box.tpl"}