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

application/libraries/Migration.php 1 location

@@ 208-215 (lines=8) @@
205
        // Note: We use strings, so that timestamp versions work on 32-bit systems
206
        $current_version = $this->get_version($type);
207
208
        if ($this->_migration_type === 'sequential')
209
        {
210
            $target_version = sprintf('%03d', $target_version);
211
        }
212
        else
213
        {
214
            $target_version = (string) $target_version;
215
        }
216
217
        $migrations = $this->find_migrations($type);
218

system/libraries/Migration.php 1 location

@@ 201-208 (lines=8) @@
198
		// Note: We use strings, so that timestamp versions work on 32-bit systems
199
		$current_version = $this->_get_version();
200
201
		if ($this->_migration_type === 'sequential')
202
		{
203
			$target_version = sprintf('%03d', $target_version);
204
		}
205
		else
206
		{
207
			$target_version = (string) $target_version;
208
		}
209
210
		$migrations = $this->find_migrations();
211