Fix #14448: 'Undefined index: jpg' in '.../core/file_api.php'

atrol · atrol · commit 79e4d02d84f7 · 2012-07-09T21:48:04.000+02:00
diff --git a/core/file_api.php b/core/file_api.php
@@ -907,7 +907,11 @@ function file_get_content_type_override( $p_filename ) {
 
 	$t_extension = pathinfo( $p_filename, PATHINFO_EXTENSION );
 
-	return $g_file_download_content_type_overrides[$t_extension];
+	if ( isset ( $g_file_download_content_type_overrides[$t_extension] ) ) {
+		return $g_file_download_content_type_overrides[$t_extension];
+	}
+
+	return null;
 }
 
 /**
