WordPress.org
Get WordPress

Making WordPress.org

Opened 11 years ago

Closed 11 years ago

Last modified 11 years ago

#61 closed defect (bug) (fixed)

Update header/footer of phpdoc.wordpress.org

Reported by: mercime's profile mercime Owned by: iandunn's profile iandunn
Milestone: Priority: low
Component: General Keywords: needs-patch
Cc:

Description

Add missing style for header and update footer of phpdoc.wordpress.org.

Change History (5)

#1 @mercime
11 years ago

Just noticed phpdoc.wordpress.org was not included in list of "What components fall under Meta?"

Why not? :-)

#2 @samuelsidler
11 years ago

  • Cc iandunn siobhan added

We probably just forgot about it. Too many sites! ;)

But yes, we should do this. It probably wouldn't be hard either because the header and footer are global includes. We might want to link to it from the new developer hub as well.

#3 @iandunn
11 years ago

  • Owner set to iandunn
  • Status changed from new to assigned

Sounds good, it's on my list.

#4 @nacin
11 years ago

  • Resolution set to fixed
  • Status changed from assigned to closed

Fixed in dotorg commit 7592.

#5 @nacin
11 years ago

Turns out I had this patch sitting around already.

Note: See TracTickets for help on using tickets.