From c43bb3d52c340b1a35353bd02a531117f223dc0b Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Sun, 24 Mar 2024 16:37:21 +0100
Subject: [PATCH] Update config.php

---
 dev/tools/phan/config.php | 1 -
 1 file changed, 1 deletion(-)

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<string,array<string,array<string,string>>>',
 		'classname' => 'string',
 		'conf' => '\Conf',
 		'conffile' => 'string',