A phpBB 3.1 extension that adds the search icon to the navigation bar in overall_header.html