[wp-meta] [Making WordPress.org] #539: Add search bar to interior pages on developer.wordpress.org

[Making WordPress.org]

#539: Add search bar to interior pages on developer.wordpress.org
------------------------+-------------------------------------
Reporter:  zamfeer      |      Owner:
    Type:  enhancement  |     Status:  new
Priority:  normal       |  Component:  developer.wordpress.org
Keywords:               |
------------------------+-------------------------------------
 It should be easier to run a new search from any page within
 developer.wordpress.org. Right now, you have to back out to the home page
 each time

--
Ticket URL: <https://meta.trac.wordpress.org/ticket/539>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org