[wp-meta] [Making WordPress.org] #1501: Add search form on results page in Developer Resources

[Making WordPress.org]

#1501: Add search form on results page in Developer Resources
--------------------------+---------------------------------------
  Reporter:  morganestes  |      Owner:  coffee2code
      Type:  enhancement  |     Status:  closed
  Priority:  normal       |  Component:  developer.wordpress.org
Resolution:  fixed        |   Keywords:  has-screenshots has-patch
--------------------------+---------------------------------------
Changes (by coffee2code):

 * owner:   => coffee2code
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"2286"]:
 {{{
 #!CommitTicketReference repository="" revision="2286"
 developer.wordpress.org: Add search form to search results page.

 Props keesiemeijer.
 Fixes #1501.
 }}}

--
Ticket URL: <https://meta.trac.wordpress.org/ticket/1501#comment:2>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org