Warning: require(/htdocs/wp-includes/random_compat/random.php): failed to open stream: No such file or directory in /htdocs/wp-includes/compat.php on line 435

Fatal error: require(): Failed opening required '/htdocs/wp-includes/random_compat/random.php' (include_path='.:/usr/share/php') in /htdocs/wp-includes/compat.php on line 435