Mine

	if(!function_exists('file_get_contents'))	{		function file_get_contents($filename)		{			if(($contents = file($filename)))			{				$contents = implode('', $contents);				return $contents;			}			else			{				return FALSE;			}		}	}