Opened 18 years ago
Closed 18 years ago
#8315 closed enhancement (fixed)
Documentation fixes for wp_page_menu
| Reported by: | jacobsantos | Owned by: | |
|---|---|---|---|
| Priority: | low | Milestone: | 2.7 |
| Component: | Optimization | Version: | |
| Severity: | minor | Keywords: | phpdoc has-patch commit |
| Cc: | Focuses: |
Description
- Fix notice when show_home is not set.
- Documentation corrections and additions to wp_page_menu().
Attachments (1)
Change History (2)
Note:
See TracTickets
for help on using tickets.
![(please configure the [header_logo] section in trac.ini)](/chrome/site/your_project_logo.png)
phpdoc inline documentation for wp_page_menu() based on trunk