[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 s2375840):

 I'm a plugin author mentioned in the post above.

 So does upgrading this library affect us at all, do we have to make any
 changes?

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