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 = 5-6 lines in 5 locations

src/php/StoryplayerInternals/SPv2/Modules/RuntimeTable/FromRuntimeTable.php 3 locations

@@ 171-175 (lines=5) @@
168
        }
169
170
        // do we have the entry we're looking for?
171
        if (!isset($table->$key)) {
172
            $msg = "table does not contain an entry for '{$key}'";
173
            $log->endAction($msg);
174
            return null;
175
        }
176
177
        // all done
178
        $log->endAction();
@@ 211-216 (lines=6) @@
208
        }
209
210
        // make sure we have the group
211
        if (!isset($table->$group)) {
212
            $msg = "table has no group '{$group}'";
213
            $log->endAction($msg);
214
215
            return null;
216
        }
217
218
        // do we have the entry we're looking for?
219
        if (!isset($table->$group->$key)) {
@@ 219-223 (lines=5) @@
216
        }
217
218
        // do we have the entry we're looking for?
219
        if (!isset($table->$group->$key)) {
220
            $msg = "table does not contain an entry for '{$group}->{$key}'";
221
            $log->endAction($msg);
222
            return null;
223
        }
224
225
        // all done
226
        $log->endAction();

src/php/StoryplayerInternals/SPv2/Modules/RuntimeTable/UsingRuntimeTable.php 2 locations

@@ 246-250 (lines=5) @@
243
        $table = RuntimeTable::fromRuntimeTable($tableName)->getTableIfExists();
244
245
        // does the group exist?
246
        if (!isset($table->$group)) {
247
            $msg = "table has no group '{$group}'. '{$group}->{$key}' not removed";
248
            $log->endAction($msg);
249
            return;
250
        }
251
252
        // does the group contain the item?
253
        if (!isset($table->$group->$key)) {
@@ 253-257 (lines=5) @@
250
        }
251
252
        // does the group contain the item?
253
        if (!isset($table->$group->$key)) {
254
            $msg = "table does not contain item '{$item}' in group '{$group}'";
255
            $log->endAction($msg);
256
            return;
257
        }
258
259
        // remove the entry
260
        unset($table->$group->$key);