Warning: require_once(/home/stockwpc/mashserv.com/wp-includes/random_compat/cast_to_int.php): failed to open stream: No such file or directory in /home/stockwpc/mashserv.com/wp-includes/random_compat/random.php on line 53

Fatal error: require_once(): Failed opening required '/home/stockwpc/mashserv.com/wp-includes/random_compat/cast_to_int.php' (include_path='.:/opt/alt/php56/usr/share/pear:/opt/alt/php56/usr/share/php') in /home/stockwpc/mashserv.com/wp-includes/random_compat/random.php on line 53