From 8f1023d4eb2ee7a14115d2a4de52b900baf17c2b Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Tue, 18 Jun 2019 20:51:01 +0200
Subject: [PATCH] Add type hints for class properties in SpecialVersion

Change-Id: I53d4c69737eb347f970ab02f200d50aa35101f4f
---
 includes/specials/SpecialVersion.php | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/includes/specials/SpecialVersion.php b/includes/specials/SpecialVersion.php
index 5456ce7861..028d2fe6af 100644
--- a/includes/specials/SpecialVersion.php
+++ b/includes/specials/SpecialVersion.php
@@ -31,13 +31,20 @@ use MediaWiki\MediaWikiServices;
  * @ingroup SpecialPage
  */
 class SpecialVersion extends SpecialPage {
+
+	/**
+	 * @var bool
+	 */
 	protected $firstExtOpened = false;
 
 	/**
-	 * Stores the current rev id/SHA hash of MediaWiki core
+	 * @var string The current rev id/SHA hash of MediaWiki core
 	 */
 	protected $coreId = '';
 
+	/**
+	 * @var string[]|false Lazy initialized key/value with message content
+	 */
 	protected static $extensionTypes = false;
 
 	public function __construct() {
@@ -367,7 +374,7 @@ class SpecialVersion extends SpecialPage {
 	 *
 	 * @since 1.17
 	 *
-	 * @return array
+	 * @return string[]
 	 */
 	public static function getExtensionTypes() {
 		if ( self::$extensionTypes === false ) {
-- 
2.20.1