From e284b5f2ea002ba7dcb55aa36e99a032ebb6205e Mon Sep 17 00:00:00 2001 From: Ivan Zinovyev Date: Wed, 24 Jan 2018 19:32:28 +0300 Subject: [PATCH] Remove cpd script --- cpd_script.php | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 cpd_script.php diff --git a/cpd_script.php b/cpd_script.php deleted file mode 100644 index 4516660..0000000 --- a/cpd_script.php +++ /dev/null @@ -1,10 +0,0 @@ -duplication as $duplication) { - $files = $duplication->xpath('file'); - foreach ($files as $file) { - echo $file['path'].':'.$file['line'].':1: warning: '.$duplication['lines'].' copy-pasted lines from: ' - .implode(', ', array_map(function ($otherFile) { return $otherFile['path'].':'.$otherFile['line']; }, - array_filter($files, function ($f) use (&$file) { return $f != $file; }))).PHP_EOL; - } -} -?>