Merge "Follow-up ee66a534: Drop reference to old 7zip.inc file name from phan config...

diff --git a/.phan/config.php b/.phan/config.php
index 12e723d..3478977 100644 (file)
--- 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',