diff options
| author | Jan-Hendrik Willms <tleilax+github@gmail.com> | 2022-07-12 15:48:40 +0200 |
|---|---|---|
| committer | Jan-Hendrik Willms <tleilax+github@gmail.com> | 2022-07-12 15:50:19 +0200 |
| commit | 65950e3e53cd14a7d04524f99171e5d60163be34 (patch) | |
| tree | 7d651e926731af8288016450c3fa3901841b87a1 | |
| parent | 2349a13829f6595dd20146f0a1e723b9e1100925 (diff) | |
define properties, re #1295
| -rw-r--r-- | lib/wiki.inc.php | 4 | ||||
| -rw-r--r-- | phpstan.neon.dist | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/lib/wiki.inc.php b/lib/wiki.inc.php index 71b8e9c..4e9e609 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 0968809..5927683 100644 --- a/phpstan.neon.dist +++ b/phpstan.neon.dist @@ -20,5 +20,4 @@ parameters: errorFormat: junit ignoreErrors: - - '#Access to an undefined property#' - '#Undefined variable#' |