[MERGE] Forward-port of branch 12.0 up to 7a65f48d41

_extensions/odoo/sub-menu_list.html

@@ -7,3 +7,15 @@
 <li><a href="https://www.odoo.com/documentation/13.0/setup/install.html">Installation</a></li>
 <li><a href="https://www.odoo.com/page/odoo-white-paper">White Papers</a></li>
 <li><a href="https://www.odoo.com/page/legal">Legal</a></li>
+
+{%- if pagename != "search" and builder != "singlehtml" %}
+<li id="searchbox" style="display: none; margin: 0 0 0 10px;" role="search">
+    <form class="search form-inline" action="{{ pathto('search') }}" method="get">
+        <input type="text" class="form-control" name="q" id="q" placeholder="Search..." />
+        <input type="hidden" name="area" value="default" />
+        <input type="hidden" name="check_keywords" value="yes" />
+        <button type="submit" value="Go" class="btn btn-default">Go</button>
+    </form>
+</li>
+<script type="text/javascript">$('#searchbox').show(0);</script>
+{%- endif %}