Adds search box as a choice of item in navigation menus admin area. Features include: now compatible with the WordPress appearance customizer, search box available as a choice in the admin area for navigation menus, as many boxes can be added to a nav menu as one likes, search boxes can be added as children of other menu items (useful for, e.g., mega-menus), capacity to change button text, placeholder and css classes from the admin area to each search box, hooks to modify output (see FAQ and/or code comments), very lightweight, in keeping styles, html, behaviour, etc., with wordpress defaults, works straight out of the box, no configuration needed. Those wanting to translate this plugin, please do. I believe the plugin is in a translatable state and I’ll do everything I can to help in translation. It should be relatively quick as there isn’t much text to the plugin.