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

modules/document/document.class.php 2 locations

@@ 219-222 (lines=4) @@
216
			executeQuery('document.updateDocumentsLangCode', $obj);
217
		}
218
		// 2009. 03. 11 Check the index in the document_extra_vars table
219
		if(!$oDB->isIndexExists("document_extra_vars", "unique_extra_vars"))
220
		{
221
			$oDB->addIndex("document_extra_vars", "unique_extra_vars", array("module_srl","document_srl","var_idx","lang_code"), true);
222
		}
223
224
		if($oDB->isIndexExists("document_extra_vars", "unique_module_vars"))
225
		{
@@ 264-267 (lines=4) @@
261
		}
262
263
		// 2011. 03. 30 Cubrid index Check the index in the document_extra_vars table
264
		if(!$oDB->isIndexExists("document_extra_vars", "idx_document_list_order"))
265
		{
266
			$oDB->addIndex("document_extra_vars", "idx_document_list_order", array("document_srl","module_srl","var_idx"), false);
267
		}
268
269
		//2011. 04. 07 adding description column to document categories
270
		if(!$oDB->isColumnExists("document_categories","description")) $oDB->addColumn('document_categories',"description","varchar",200,0);