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

atrol · atrol · commit 8945fcc651c5 · 2012-07-09T21:52:15.000+02:00
diff --git a/core/file_api.php b/core/file_api.php
@@ -1076,6 +1076,10 @@ function file_get_content_type_override( $p_filename ) {
 	global $g_file_download_content_type_overrides;
 	
 	$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;
 }
