#19087 closed defect (bug) (fixed)
Unused code in _wp_menu_output
Reported by: | ocean90 | Owned by: | duck_ |
---|---|---|---|
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
@
13 years ago
$menu_setting_increment
can go as well I think.
Right, done in 19087.2.patch.
#4
@
13 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_increment
can go as well I think.