phpBB 3.1 extension which adds the search icon to the navigation bar