define properties, re #1295

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='=')
     {

phpstan.neon.dist

@@ -20,5 +20,4 @@ parameters:
     errorFormat:
        junit
     ignoreErrors:
-        - '#Access to an undefined property#'
         - '#Undefined variable#'