backdrop/backdrop — pull request #510 by rocketnova (2014-10-24 06:12:33+00:00)
Title: Issue #311: Changed admin menu search form element #type to 'search'.

PR for https://github.com/backdrop/backdrop-issues/issues/310. Was this issue trying to accomplish more than this? I'd be happy to flesh it out more.