[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:
--------------------------------+---------------------
Changes (by dd32):

 * owner:   => dd32
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"42344"]:
 {{{
 #!CommitTicketReference repository="" revision="42344"
 Avoid PHP Linting errors in the Random_Compat library under PHP7.
 The latest updates to the library are larger than preferred, so instead
 this modifies the library to lint properly.

 Fixes #42439 for 4.9
 }}}

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