X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2FconvertExtensionToRegistration.php;h=a09ca5ceb51890a305258092281939ea0e947780;hb=f5eaf6470bfb32f9632bee9d0ac09b57b9fc9af0;hp=6c1edc2ba01b8966438996cf3c76eafd5ddb933c;hpb=8eb6cf585c5fb3d7dd5f014bac27518959512b98;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/convertExtensionToRegistration.php b/maintenance/convertExtensionToRegistration.php
index 6c1edc2ba0..a09ca5ceb5 100644
--- a/maintenance/convertExtensionToRegistration.php
+++ b/maintenance/convertExtensionToRegistration.php
@@ -19,7 +19,7 @@ class ConvertExtensionToRegistration extends Maintenance {
 	/**
 	 * Things that were formerly globals and should still be converted
 	 *
-	 * @var array
+	 * @var string[]
 	 */
 	protected $formerGlobals = [
 		'TrackingCategories',
@@ -28,7 +28,7 @@ class ConvertExtensionToRegistration extends Maintenance {
 	/**
 	 * No longer supported globals (with reason) should not be converted and emit a warning
 	 *
-	 * @var array
+	 * @var string[]
 	 */
 	protected $noLongerSupportedGlobals = [
 		'SpecialPageGroups' => 'deprecated', // Deprecated 1.21, removed in 1.26
@@ -37,7 +37,7 @@ class ConvertExtensionToRegistration extends Maintenance {
 	/**
 	 * Keys that should be put at the top of the generated JSON file (T86608)
 	 *
-	 * @var array
+	 * @var string[]
 	 */
 	protected $promote = [
 		'name',