From 7352d408913241ac88be358dbcfd462ce74494c7 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Mon, 19 Aug 2024 21:08:44 +0200
Subject: [PATCH] Add missing documentation to class properties

Change-Id: I904de853c11209749b7b31e52e99a1dc5ac46aaa
---
 .phpcs.xml                   | 1 -
 includes/ParserFunctions.php | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.phpcs.xml b/.phpcs.xml
index 5065783c..56882f93 100644
--- a/.phpcs.xml
+++ b/.phpcs.xml
@@ -2,7 +2,6 @@
 <ruleset>
 	<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
 		<exclude name="MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic" />
-		<exclude name="MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPrivate" />
 		<exclude name="MediaWiki.WhiteSpace.SpaceBeforeSingleLineComment.NewLineComment" />
 	</rule>
 	<file>.</file>
diff --git a/includes/ParserFunctions.php b/includes/ParserFunctions.php
index 47be1a15..c5e522ea 100644
--- a/includes/ParserFunctions.php
+++ b/includes/ParserFunctions.php
@@ -28,8 +28,11 @@ use Wikimedia\RequestTimeout\TimeoutException;
  * @link https://www.mediawiki.org/wiki/Help:Extension:ParserFunctions
  */
 class ParserFunctions {
+	/** @var ExprParser|null */
 	private static $mExprParser = null;
+	/** @var array[][][][] */
 	private static $mTimeCache = [];
+	/** @var int */
 	private static $mTimeChars = 0;
 
 	/** ~10 seconds */