From 9abed275c30a5d97f0273389b12ff19c5ff6da59 Mon Sep 17 00:00:00 2001
From: zoranzoki21 <zorandori4444@gmail.com>
Date: Sat, 5 Mar 2022 15:11:43 +0100
Subject: [PATCH] Add phan

Change-Id: I7329f96fb36be043979a82b98d3bf2937a6c1f0e
---
 .phan/config.php      | 3 +++
 composer.json         | 4 +++-
 src/Editcount.php     | 1 +
 src/EditcountHTML.php | 1 +
 4 files changed, 8 insertions(+), 1 deletion(-)
 create mode 100644 .phan/config.php

diff --git a/.phan/config.php b/.phan/config.php
new file mode 100644
index 0000000..76efd06
--- /dev/null
+++ b/.phan/config.php
@@ -0,0 +1,3 @@
+<?php
+
+return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
diff --git a/composer.json b/composer.json
index 21feed2..5781b8a 100644
--- a/composer.json
+++ b/composer.json
@@ -1,6 +1,7 @@
 {
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "38.0.0",
+		"mediawiki/mediawiki-phan-config": "0.11.1",
 		"mediawiki/minus-x": "1.1.1",
 		"php-parallel-lint/php-console-highlighter": "0.5.0",
 		"php-parallel-lint/php-parallel-lint": "1.3.1"
@@ -15,6 +16,7 @@
 			"minus-x fix .",
 			"phpcbf"
 		],
-		"phpcs": "phpcs -sp"
+		"phpcs": "phpcs -sp",
+		"phan": "phan -d . --long-progress-bar"
 	}
 }
diff --git a/src/Editcount.php b/src/Editcount.php
index e9ddf40..a952f10 100644
--- a/src/Editcount.php
+++ b/src/Editcount.php
@@ -33,6 +33,7 @@ class Editcount extends IncludableSpecialPage {
 			} else {
 				$out = $contLang->formatNum( $this->editsInNs( $user, $namespace ) );
 			}
+			// @phan-suppress-next-line SecurityCheck-XSS
 			$this->getOutput()->addHTML( $out );
 		} else {
 			$nscount = $this->editsByNs( $user );
diff --git a/src/EditcountHTML.php b/src/EditcountHTML.php
index 44b6139..2967bd9 100644
--- a/src/EditcountHTML.php
+++ b/src/EditcountHTML.php
@@ -51,6 +51,7 @@ class EditcountHTML extends Editcount {
 		$out .= '
 			</table>
 		</form>';
+		// @phan-suppress-next-line SecurityCheck-XSS
 		$this->getOutput()->addHTML( $out );
 	}