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

system/libraries/Session/Session.php 2 locations

@@ 429-450 (lines=22) @@
426
	 * @param	mixed	$key	Session data key(s)
427
	 * @return	void
428
	 */
429
	public function unmark_flash($key)
430
	{
431
		if (empty($_SESSION['__ci_vars']))
432
		{
433
			return;
434
		}
435
436
		is_array($key) OR $key = array($key);
437
438
		foreach ($key as $k)
439
		{
440
			if (isset($_SESSION['__ci_vars'][$k]) && ! is_int($_SESSION['__ci_vars'][$k]))
441
			{
442
				unset($_SESSION['__ci_vars'][$k]);
443
			}
444
		}
445
446
		if (empty($_SESSION['__ci_vars']))
447
		{
448
			unset($_SESSION['__ci_vars']);
449
		}
450
	}
451
452
	// ------------------------------------------------------------------------
453
@@ 537-558 (lines=22) @@
534
	 * @param	mixed	$key	Session data key(s)
535
	 * @return	void
536
	 */
537
	public function unmark_temp($key)
538
	{
539
		if (empty($_SESSION['__ci_vars']))
540
		{
541
			return;
542
		}
543
544
		is_array($key) OR $key = array($key);
545
546
		foreach ($key as $k)
547
		{
548
			if (isset($_SESSION['__ci_vars'][$k]) && is_int($_SESSION['__ci_vars'][$k]))
549
			{
550
				unset($_SESSION['__ci_vars'][$k]);
551
			}
552
		}
553
554
		if (empty($_SESSION['__ci_vars']))
555
		{
556
			unset($_SESSION['__ci_vars']);
557
		}
558
	}
559
560
	// ------------------------------------------------------------------------
561