From 65950e3e53cd14a7d04524f99171e5d60163be34 Mon Sep 17 00:00:00 2001
From: Jan-Hendrik Willms <tleilax+github@gmail.com>
Date: Tue, 12 Jul 2022 15:48:40 +0200
Subject: [PATCH] define properties, re #1295
---
lib/wiki.inc.php | 4 +++-
phpstan.neon.dist | 1 -
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/lib/wiki.inc.php b/lib/wiki.inc.php
index 71b8e9c2423..4e9e6098b6e 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 09688095e8f..59276839be6 100644
--- a/phpstan.neon.dist
+++ b/phpstan.neon.dist
@@ -20,5 +20,4 @@ parameters:
errorFormat:
junit
ignoreErrors:
- - '#Access to an undefined property#'
- '#Undefined variable#'
--
GitLab