#19087 closed defect (bug) (fixed)
Unused code in _wp_menu_output
| Reported by: |
|
Owned by: |
|
|---|---|---|---|
| Milestone: | 3.3 | Priority: | normal |
| Severity: | trivial | Version: | 3.3 |
| Component: | Administration | Keywords: | has-patch |
| Focuses: | Cc: |
Description
Since r18621.
Attachments (2)
Change History (9)
#3
@
14 years ago
$menu_setting_incrementcan go as well I think.
Right, done in 19087.2.patch.
#4
@
14 years ago
- Owner set to duck_
- Resolution set to fixed
- Status changed from new to closed
In [19101]:
Note: See
TracTickets for help on using
tickets.
I noticed this earlier as well.
$menu_setting_incrementcan go as well I think.