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

system/core/Loader.php 1 location

@@ 299-310 (lines=12) @@
296
		if ( ! class_exists('CI_Model', FALSE))
297
		{
298
			$app_path = APPPATH.'core'.DIRECTORY_SEPARATOR;
299
			if (file_exists($app_path.'Model.php'))
300
			{
301
				require_once($app_path.'Model.php');
302
				if ( ! class_exists('CI_Model', FALSE))
303
				{
304
					throw new RuntimeException($app_path."Model.php exists, but doesn't declare class CI_Model");
305
				}
306
			}
307
			elseif ( ! class_exists('CI_Model', FALSE))
308
			{
309
				require_once(BASEPATH.'core'.DIRECTORY_SEPARATOR.'Model.php');
310
			}
311
312
			$class = config_item('subclass_prefix').'Model';
313
			if (file_exists($app_path.$class.'.php'))

system/libraries/Session/Session.php 1 location

@@ 195-207 (lines=13) @@
192
193
		$prefix = config_item('subclass_prefix');
194
195
		if ( ! class_exists('CI_Session_driver', FALSE))
196
		{
197
			require_once(
198
				file_exists(APPPATH.'libraries/Session/Session_driver.php')
199
					? APPPATH.'libraries/Session/Session_driver.php'
200
					: BASEPATH.'libraries/Session/Session_driver.php'
201
			);
202
203
			if (file_exists($file_path = APPPATH.'libraries/Session/'.$prefix.'Session_driver.php'))
204
			{
205
				require_once($file_path);
206
			}
207
		}
208
209
		$class = 'Session_'.$driver.'_driver';
210