random_int should be used instead of mt_rand

A fallback was added in core for PHP<7.0 so plugins can use random_int instead of mt_rand for better pseudo-random integer.

created branch 5836-random_int-should-be-used-instead-of-mt_rand

mentioned in commit 1d86efa5

created branch 5836-random_int-should-be-used-instead-of-mt_rand

mentioned in commit 6da715cc

added fixes-merged plugin-argonaut plugin-audit labels

changed milestone to %FusionDirectory 1.2.2

added 15m of time spent at 2018-06-26

closed

added Changed label