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 = 8-12 lines in 2 locations

system/core/Loader.php 2 locations

@@ 253-260 (lines=8) @@
250
		$path = '';
251
252
		// Is the model in a sub-folder? If so, parse out the filename and path.
253
		if (($last_slash = strrpos($model, '/')) !== FALSE)
254
		{
255
			// The path is in front of the last slash
256
			$path = substr($model, 0, ++$last_slash);
257
258
			// And the model name behind it
259
			$model = substr($model, $last_slash);
260
		}
261
262
		if (empty($name))
263
		{
@@ 1015-1026 (lines=12) @@
1012
1013
		// Was the path included with the class name?
1014
		// We look for a slash to determine this
1015
		if (($last_slash = strrpos($class, '/')) !== FALSE)
1016
		{
1017
			// Extract the path
1018
			$subdir = substr($class, 0, ++$last_slash);
1019
1020
			// Get the filename from the path
1021
			$class = substr($class, $last_slash);
1022
		}
1023
		else
1024
		{
1025
			$subdir = '';
1026
		}
1027
1028
		$class = ucfirst($class);
1029