[wp-trac] [WordPress Trac] #41873: Code Editor: Add PHP linter

[WordPress Trac]

#41873: Code Editor: Add PHP linter
-------------------------+------------------
 Reporter:  westonruter  |       Owner:
     Type:  enhancement  |      Status:  new
 Priority:  high         |   Milestone:  4.9
Component:  General      |     Version:
 Severity:  normal       |  Resolution:
 Keywords:  needs-patch  |     Focuses:
-------------------------+------------------

Comment (by westonruter):

 See also feature request to add options for targeting allowed PHP language
 features and functions: https://github.com/glayzzle/codemirror-
 linter/issues/4

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