diff --git a/dev/tools/phan/config.php b/dev/tools/phan/config.php index a762b006b0a..38dcbb2bff1 100644 --- a/dev/tools/phan/config.php +++ b/dev/tools/phan/config.php @@ -240,7 +240,6 @@ return [ 'badgeStatus6' => 'string', 'badgeStatus8' => 'string', 'badgeStatus9' => 'string', - 'cache_codes' => 'array>>', 'classname' => 'string', 'conf' => '\Conf', 'conffile' => 'string',