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

mantisbt · Jul 9, 2012 · 8945fcc · 8945fcc
1 parent abf661e
commit 8945fcc
Showing 1 changed file with 6 additions and 2 deletions.
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;
 }