X-Git-Url: https://jasonwoof.com/gitweb/?a=blobdiff_plain;f=misc.php;h=5678b673618ff9ab3738c6f91ce3f5b0084cc3af;hb=6126e566b80bd1eb4dd3212481fa4b854bdc3549;hp=18a1a41727a99a4968efff7008900a80207fce26;hpb=ddd681b6dcd0ef511238e96a0c3b94d9e8600ef2;p=wfpl.git

diff --git a/misc.php b/misc.php
index 18a1a41..5678b67 100644
--- a/misc.php
+++ b/misc.php
@@ -18,19 +18,6 @@
 #  along with wfpl; if not, write to the Free Software Foundation, Inc., 51
 #  Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
 
-# This exists because file_get_contents() is not documented well. (It says that
-# the second parameter is optional, but does not specify what happens when you
-# do not pass anything.) And because it's nice to work in PHP4.2
-function read_whole_file($name) {
-	$fd = fopen($name, 'r');
-	if($fd === false) {
-		die("Failed to read file: '$name'");
-	}
-	$file_data = fread($fd, filesize($name));
-	fclose($fd);
-	return $file_data;
-}
-
 function unix_newlines($str) {
 	$str = str_replace("\r\n", "\n", $str);
 	return str_replace("\r", "\n", $str);