[wp-trac] [WordPress Trac] #42200: Code Editor: false error on "@charset"

[WordPress Trac]

#42200: Code Editor: false error on "@charset"
--------------------------+-----------------------------
 Reporter:  joneiseman    |       Owner:  (none)
     Type:  defect (bug)  |      Status:  closed
 Priority:  normal        |   Milestone:
Component:  General       |     Version:
 Severity:  normal        |  Resolution:  invalid
 Keywords:                |     Focuses:  administration
--------------------------+-----------------------------
Changes (by desrosj):

 * keywords:  close =>
 * status:  new => closed
 * resolution:   => invalid
 * milestone:  Awaiting Review =>


Comment:

 Closing this one out. It seems the linter was indeed working as expected.

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