phan: Upgrade mediawiki-phan-config to 0.11.1 and set minimum_target_php_version

jdforrester · umherirrender · commit 03b65df7c1e0 · 2022-03-29T16:54:36.000Z
MediaWiki still supports PHP 7.2+, but we want to mainly test in newer versions
of PHP. Setting minimum_target_php_version to 7.2 this lets us run phan without
phan trying to get us to make PHP 7.2-incompatible changes to 'appease' PHP 8.0
or whatever later changes.

Some switches of generic 'resource' type-hinting to 'resource|object' to inform
phan to ignore this (triggering PHPCS at the time, ah well), rather than trying
to hint the specific novel PHP encapsulation classes to that have replaced them
from PHP 8.0 onwards but don't yet exist, and fixes from where we were checking
the results of implode and explode.

Bug: T293924
Change-Id: I629e3fb3adfad73beb3d424a07e643c2e079d9bb
diff --git a/includes/libs/uuid/GlobalIdGenerator.php b/includes/libs/uuid/GlobalIdGenerator.php
@@ -632,7 +632,6 @@ protected function intervalsSinceGregorianBinary( array $time, $delta = 0 ) {
 			$ts = bcadd( $ts, (string)$delta );
 			// wrap around
 			$ts = bcmod( $ts, bcpow( '2', '60' ) );
-			// @phan-suppress-next-line PhanTypeMismatchArgumentNullable Only null if second arg is 0
 			$id_bin = \Wikimedia\base_convert( $ts, 10, 2, 60 );
 		} else {
 			throw new RuntimeException( 'bcmath or gmp extension required for 32 bit machines.' );
