WordPress.org
Get WordPress

Make WordPress Core

Opened 17 years ago

Closed 17 years ago

#8315 closed enhancement (fixed)

Documentation fixes for wp_page_menu

Reported by: jacobsantos's profile jacobsantos Owned by:
Milestone: 2.7 Priority: low
Severity: minor Version:
Component: Optimization Keywords: phpdoc has-patch commit
Focuses: Cc:

Description

  • Fix notice when show_home is not set.
  • Documentation corrections and additions to wp_page_menu().

Attachments (1)

8315.diff​ (1.5 KB) - added by jacobsantos 17 years ago.
phpdoc inline documentation for wp_page_menu() based on trunk

Download all attachments as: .zip

Change History (2)

@jacobsantos
17 years ago

phpdoc inline documentation for wp_page_menu() based on trunk

#1 @westi
17 years ago

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

(In [9844]) phpdoc and notice fix for wp_page_menu(). Fixes #8315 props jacobsantos.

Note: See TracTickets for help on using tickets.