X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2FconvertExtensionToRegistration.php;h=3db0511eae711cd835f9fb19665f30b1306cd0ae;hb=eb70451cec6409526c8feaedf55700f51e10ffe7;hp=a09ca5ceb51890a305258092281939ea0e947780;hpb=258445a23ebba29e988a9e6f064ee8690988cd2c;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/convertExtensionToRegistration.php b/maintenance/convertExtensionToRegistration.php
index a09ca5ceb5..3db0511eae 100644
--- a/maintenance/convertExtensionToRegistration.php
+++ b/maintenance/convertExtensionToRegistration.php
@@ -171,6 +171,7 @@ class ConvertExtensionToRegistration extends Maintenance {
 			}
 			// check if $func exists in the global scope
 			if ( function_exists( $func ) ) {
+				// @phan-suppress-next-next-line PhanTypeSuspiciousStringExpression
 				$this->fatalError( "Error: Global functions cannot be converted to JSON. " .
 					"Please move your extension function ($func) into a class."
 				);