X-Git-Url: http://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2FfindDeprecated.php;h=03035f756a2c805db73c015cc8d270a045ec033f;hb=c3cb10b55c832b9dc2d6805d10966549213c46b7;hp=d4f9c2d0c7835da517f1a88f7dba1a50b83a4361;hpb=03720d7d67d3fd8c420d2db2fa8b7d459f273a72;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';