@jrdelarosa on WordPress.org
Mentioned in [42130] on Core SVN:External Libraries: Update Random_Compat from 1.2.1 to 2.0.11.
Created ticket #42439 on Core Trac:Update random_compat external library for PHP 7 linting failure