diff options
| author | Remi Collet <remi@remirepo.net> | 2025-06-30 14:59:21 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2025-06-30 14:59:21 +0200 |
| commit | 0fe754462d301287abbc75d29fee211406b14cdc (patch) | |
| tree | 209748c4da1bffe13c7703f9b3b4c68f35137639 /cleanoldrpm | |
| parent | b9ec0a428ad58d43429d03a7b8b7287555e1b9f6 (diff) | |
Diffstat (limited to 'cleanoldrpm')
| -rwxr-xr-x | cleanoldrpm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cleanoldrpm b/cleanoldrpm index 50bd0f9..e4ee205 100755 --- a/cleanoldrpm +++ b/cleanoldrpm @@ -26,6 +26,7 @@ $multi = [ 'phan' => 1, // phan/3 'roundcubemail' => 4, // roundcubemail/1.x. 'remi-release' => 3, // remi-release/8.5 + 'php-pear-PHP-CodeSniffer' => 1, ]; if (isset($_SERVER['argv'][1])) { $keep = (int)$_SERVER['argv'][1]; |