[EDIT] FILE: php_mt_rand.h

#include "ext/random/php_random.h"
SAVE CANCEL