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

system/helpers/url_helper.php 2 locations

@@ 52-68 (lines=17) @@
49
50
// ------------------------------------------------------------------------
51
52
if ( ! function_exists('site_url'))
53
{
54
	/**
55
	 * Site URL
56
	 *
57
	 * Create a local URL based on your basepath. Segments can be passed via the
58
	 * first parameter either as a string or an array.
59
	 *
60
	 * @param	string	$uri
61
	 * @param	string	$protocol
62
	 * @return	string
63
	 */
64
	function site_url($uri = '', $protocol = NULL)
65
	{
66
		return get_instance()->config->site_url($uri, $protocol);
67
	}
68
}
69
70
// ------------------------------------------------------------------------
71
@@ 72-89 (lines=18) @@
69
70
// ------------------------------------------------------------------------
71
72
if ( ! function_exists('base_url'))
73
{
74
	/**
75
	 * Base URL
76
	 *
77
	 * Create a local URL based on your basepath.
78
	 * Segments can be passed in as a string or an array, same as site_url
79
	 * or a URL to a file can be passed in, e.g. to an image file.
80
	 *
81
	 * @param	string	$uri
82
	 * @param	string	$protocol
83
	 * @return	string
84
	 */
85
	function base_url($uri = '', $protocol = NULL)
86
	{
87
		return get_instance()->config->base_url($uri, $protocol);
88
	}
89
}
90
91
// ------------------------------------------------------------------------
92