[wp-trac] [WordPress Trac] #42439: Update random_compat external library for PHP 7 linting failure

[WordPress Trac]

#42439: Update random_compat external library for PHP 7 linting failure
--------------------------------+---------------------
 Reporter:  jrdelarosa          |       Owner:  dd32
     Type:  defect (bug)        |      Status:  closed
 Priority:  normal              |   Milestone:  4.9.2
Component:  External Libraries  |     Version:  4.9
 Severity:  normal              |  Resolution:  fixed
 Keywords:  fixed-major         |     Focuses:
--------------------------------+---------------------

Comment (by Ipstenu):

 @dd32 It was asked in Slack to see who was using it and if they'd have
 issues. As I said, I don't think anyone will have issues but listing them
 was no work for me after the scan so I figured I'd share.

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