WordPress.org
Get WordPress

Making WordPress.org

Opened 12 years ago

Closed 12 years ago

#539 closed enhancement (duplicate)

Add search bar to interior pages on developer.wordpress.org

Reported by: zamfeer Owned by:
Priority: normal Milestone:
Component: Developer Hub Keywords:
Cc:

Description

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

Attachments (1)

539.patch​ (62.3 KB ) - added by zamfeer 12 years ago.
adds search form to <header> on interior pages, adds more specific placeholder text to search input field

Download all attachments as: .zip

Change History (2)

#1 @coffee2code
12 years ago

  • Resolution → duplicate
  • Status new → closed

Duplicate of #493.

@zamfeer
12 years ago

adds search form to <header> on interior pages, adds more specific placeholder text to search input field

Note: See TracTickets for help on using tickets.