MDL-8029 obsoleted file_get_contents() emulation removed from filelib

diff --git a/lib/filelib.php b/lib/filelib.php
index 98754f95a57b24b713bda6d6341f2c7776b35ca4..d56a08b8005797cae85c805516a248d276e960c5 100644 (file)
--- a/lib/filelib.php
+++ b/lib/filelib.php
@@ -475,14 +475,6 @@ function put_records_csv($file, $records, $table = NULL) {
 }
 
 
-if (!function_exists('file_get_contents')) {
-   function file_get_contents($file) {
-       $file = file($file);
-       return !$file ? false : implode('', $file);
-   }
-}
-
-
 /**
  * Recursively delete the file or folder with path $location. That is, 
  * if it is a file delete it. If it is a folder, delete all its content