diff --git a/lib/wiki.inc.php b/lib/wiki.inc.php
index 71b8e9c242338b3b81c3124357cfda9f0e65cb40..4e9e6098b6ef0a62d90d8eca3344c31de35477b4 100644
--- a/lib/wiki.inc.php
+++ b/lib/wiki.inc.php
@@ -1821,7 +1821,9 @@ Information Processing Letters 35, 6 (1990), 317-323.
 
 class line_diff
 {
-    var $arr1,$arr2,$m,$n,$pos,$key,$plus,$minus,$equal,$reverse;
+    var $arr1,$arr2,$m,$n,$pos,$key,$plus,$minus,$equal,$reverse,$result,$path;
+    var $add_count;
+    var $delete_count;
 
     function __construct($plus='+',$minus='-',$equal='=')
     {
diff --git a/phpstan.neon.dist b/phpstan.neon.dist
index 09688095e8f39eb4bca4cab344bc93359301253a..59276839be6b4275bfa26162e071ba0b856c7b86 100644
--- a/phpstan.neon.dist
+++ b/phpstan.neon.dist
@@ -20,5 +20,4 @@ parameters:
     errorFormat:
        junit
     ignoreErrors:
-        - '#Access to an undefined property#'
         - '#Undefined variable#'