[wp-trac] [WordPress Trac] #40084: add_editor_style doesn't work on php7.1

[WordPress Trac]

#40084: add_editor_style doesn't work on php7.1
----------------------------+------------------------------
 Reporter:  evgeniinasyrov  |       Owner:
     Type:  defect (bug)    |      Status:  new
 Priority:  normal          |   Milestone:  Awaiting Review
Component:  Editor          |     Version:  4.7.3
 Severity:  normal          |  Resolution:
 Keywords:                  |     Focuses:
----------------------------+------------------------------

Comment (by danielbachhuber):

 @evgeniinasyrov Can you share the specific PHP version you're running?

 I think this may be related to https://github.com/wp-cli/wp-
 cli/issues/3888

 Specifically, `file_exists()` might not work as expected in PHP 7.1.2

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