use file_get_contents to read files

darcs-hash:20070725190021-7ad00-32ea2f7d76d6508dfeb9dfd90f94132c4020386c.gz

1 files changed, 1 insertions, 1 deletions

diff --git a/install.php b/install.php
index 5e209c4b5..743ae93c4 100644
--- a/install.php
+++ b/install.php
@@ -429,7 +429,7 @@ function check_functions(){
                          'glob header ignore_user_abort ini_get mail mkdir '.
                          'ob_start opendir parse_ini_file readfile realpath '.
                          'rename rmdir serialize session_start unlink usleep '.
-                         'preg_replace');
+                         'preg_replace','file_get_contents');
 
     if (!function_exists('mb_substr')) {
       $funcs[] = 'utf8_encode';