wimg / PHPCompatibility

Inspections

Clear current filters, and sorts

PHP 7.2: `gmp_random()` is now a deprecated function

php72/deprecated-functions . 6b44d9 . push triggered

7 new issues found.

05:26

created 2017-08-02 23:18 UTC