WordPress.org

Making WordPress.org

Opened 6 years ago

Closed 6 years ago

Last modified 6 years ago

#61 closed defect (fixed)

Update header/footer of phpdoc.wordpress.org

Reported by: mercime Owned by: 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
6 years ago

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

Why not? :-)

#2 @samuelsidler
6 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
6 years ago

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

Sounds good, it's on my list.

#4 @nacin
6 years ago

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

Fixed in dotorg commit 7592.

#5 @nacin
6 years ago

Turns out I had this patch sitting around already.

Note: See TracTickets for help on using tickets.