X-Git-Url: http://git.cyclocoop.org/%22%20.%20generer_url_ecrire%28%22brouteur%22%2C%28%24id_rubrique%20?a=blobdiff_plain;f=maintenance%2FfindDeprecated.php;h=03035f756a2c805db73c015cc8d270a045ec033f;hb=5443e647bf459aa846ba7dae791d497ce842fc30;hp=d4f9c2d0c7835da517f1a88f7dba1a50b83a4361;hpb=f506a05aaa035b96537b33244b0f18b093048e97;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/findDeprecated.php b/maintenance/findDeprecated.php
index d4f9c2d0c7..03035f756a 100644
--- a/maintenance/findDeprecated.php
+++ b/maintenance/findDeprecated.php
@@ -20,6 +20,7 @@
  *
  * @file
  * @ingroup Maintenance
+ * @phan-file-suppress PhanUndeclaredProperty Lots of custom properties
  */
 
 require_once __DIR__ . '/Maintenance.php';