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/database/drivers/sqlsrv/sqlsrv_driver.php 1 location

@@ 164-178 (lines=15) @@
161
	 * @param	string	$database
162
	 * @return	bool
163
	 */
164
	public function db_select($database = '')
165
	{
166
		if ($database === '')
167
		{
168
			$database = $this->database;
169
		}
170
171
		if ($this->_execute('USE '.$this->escape_identifiers($database)))
172
		{
173
			$this->database = $database;
174
			return TRUE;
175
		}
176
177
		return FALSE;
178
	}
179
180
	// --------------------------------------------------------------------
181

system/database/drivers/pdo/subdrivers/pdo_mysql_driver.php 1 location

@@ 211-225 (lines=15) @@
208
	 * @param	string	$database
209
	 * @return	bool
210
	 */
211
	public function db_select($database = '')
212
	{
213
		if ($database === '')
214
		{
215
			$database = $this->database;
216
		}
217
218
		if (FALSE !== $this->simple_query('USE '.$this->escape_identifiers($database)))
219
		{
220
			$this->database = $database;
221
			return TRUE;
222
		}
223
224
		return FALSE;
225
	}
226
227
	// --------------------------------------------------------------------
228