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