From 6713af85f69198de9cee0a1926d021e8931a4a69 Mon Sep 17 00:00:00 2001 From: "James D. Forrester" Date: Mon, 13 May 2019 15:27:57 +0100 Subject: [PATCH] Follow-up ee66a534: Drop reference to old 7zip.inc file name from phan config too Change-Id: I4e018ab676f114a45edb9e7ca6025490134a2ef0 --- .phan/config.php | 1 - 1 file changed, 1 deletion(-) diff --git a/.phan/config.php b/.phan/config.php index 12e723d469..3478977ba6 100644 --- a/.phan/config.php +++ b/.phan/config.php @@ -32,7 +32,6 @@ $cfg['file_list'] = array_merge( class_exists( PHPUnit_TextUI_Command::class ) ? [] : [ '.phan/stubs/phpunit4.php' ], class_exists( ProfilerExcimer::class ) ? [] : [ '.phan/stubs/excimer.php' ], [ - 'maintenance/7zip.inc', 'maintenance/cleanupTable.inc', 'maintenance/CodeCleanerGlobalsPass.inc', 'maintenance/commandLine.inc', -- 2.20.1