[wp-trac] [WordPress Trac] #28934: Remove unneeded div.separator from admin menu

[WordPress Trac]

#28934: Remove unneeded div.separator from admin menu
----------------------------+-----------------------------
 Reporter:  michalzuber     |       Owner:
     Type:  defect (bug)    |      Status:  closed
 Priority:  normal          |   Milestone:
Component:  Administration  |     Version:
 Severity:  normal          |  Resolution:  duplicate
 Keywords:  has-patch       |     Focuses:  administration
----------------------------+-----------------------------

Comment (by helen):

 Replying to [comment:5 michalzuber]:
 > I'm going over the {{{@TODO}}}s in the code.

 I put the CSS todos in there myself in 3.9. I would like to not focus on
 that right now - working on an overall roadmap to be published after 4.0,
 or possibly shortly before release. I appreciate you looking at them, and
 it is good to know who may be interested in moving forward in general. As
 for the admin menu in general, it needs a good look at the totality of the
 markup and CSS. My ticket description and azaozz's comment should give you
 a good idea of where our thoughts are there.

--
Ticket URL: <https://core.trac.wordpress.org/ticket/28934#comment:6>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform