GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Code Duplication    Length = 4-6 lines in 3 locations

system/helpers/download_helper.php 1 location

@@ 106-109 (lines=4) @@
103
			$mimes =& get_mimes();
104
105
			// Only change the default MIME if we can find one
106
			if (isset($mimes[$extension]))
107
			{
108
				$mime = is_array($mimes[$extension]) ? $mimes[$extension][0] : $mimes[$extension];
109
			}
110
		}
111
112
		/* It was reported that browsers on Android 2.1 (and possibly older as well)

system/helpers/file_helper.php 1 location

@@ 356-361 (lines=6) @@
353
354
		$extension = strtolower(substr(strrchr($filename, '.'), 1));
355
356
		if (isset($mimes[$extension]))
357
		{
358
			return is_array($mimes[$extension])
359
				? current($mimes[$extension]) // Multiple mime types, just give the first one
360
				: $mimes[$extension];
361
		}
362
363
		return FALSE;
364
	}

system/libraries/Email.php 1 location

@@ 2331-2336 (lines=6) @@
2328
2329
		$mimes =& get_mimes();
2330
2331
		if (isset($mimes[$ext]))
2332
		{
2333
			return is_array($mimes[$ext])
2334
				? current($mimes[$ext])
2335
				: $mimes[$ext];
2336
		}
2337
2338
		return 'application/x-unknown-content-type';
2339
	}