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

system/libraries/Session/Session.php 2 locations

@@ 405-419 (lines=15) @@
402
	 *
403
	 * @return	array
404
	 */
405
	public function get_flash_keys()
406
	{
407
		if ( ! isset($_SESSION['__ci_vars']))
408
		{
409
			return array();
410
		}
411
412
		$keys = array();
413
		foreach (array_keys($_SESSION['__ci_vars']) as $key)
414
		{
415
			is_int($_SESSION['__ci_vars'][$key]) OR $keys[] = $key;
416
		}
417
418
		return $keys;
419
	}
420
421
	// ------------------------------------------------------------------------
422
@@ 513-527 (lines=15) @@
510
	 *
511
	 * @return	array
512
	 */
513
	public function get_temp_keys()
514
	{
515
		if ( ! isset($_SESSION['__ci_vars']))
516
		{
517
			return array();
518
		}
519
520
		$keys = array();
521
		foreach (array_keys($_SESSION['__ci_vars']) as $key)
522
		{
523
			is_int($_SESSION['__ci_vars'][$key]) && $keys[] = $key;
524
		}
525
526
		return $keys;
527
	}
528
529
	// ------------------------------------------------------------------------
530