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

symphony/lib/toolkit/class.general.php 2 locations

@@ 1078-1086 (lines=9) @@
1075
            $files = array();
1076
1077
            foreach (scandir($dir) as $file) {
1078
                if (
1079
                    ($file === '.' || $file === '..')
1080
                    || ($ignore_hidden && $file{0} === '.')
1081
                    || !is_dir("$dir/$file")
1082
                    || in_array($file, $exclude)
1083
                    || in_array("$dir/$file", $exclude)
1084
                ) {
1085
                    continue;
1086
                }
1087
1088
                if (!is_null($filter)) {
1089
                    if (!preg_match($filter, $file)) {
@@ 1167-1174 (lines=8) @@
1164
            $files['filelist'] = array();
1165
1166
            foreach (scandir($dir) as $file) {
1167
                if (
1168
                    ($file === '.' || $file === '..')
1169
                    || ($ignore_hidden && $file{0} === '.')
1170
                    || in_array($file, $exclude)
1171
                    || in_array("$dir/$file", $exclude)
1172
                ) {
1173
                    continue;
1174
                }
1175
1176
                $dir = rtrim($dir, '/');
1177