[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:  closed
  Priority:  normal       |  Component:  developer.wordpress.org
Resolution:  duplicate    |   Keywords:
--------------------------+-------------------------------------
Changes (by coffee2code):

 * status:  new => closed
 * resolution:   => duplicate


Comment:

 Duplicate of #493.

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