mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData
synced 2024-09-23 10:21:45 +00:00
build: Updating mediawiki/mediawiki-phan-config to 0.12.0
Change-Id: If6ebb246effabc99b7d72a336bacee65c54b5c67
This commit is contained in:
parent
5037d38ac9
commit
ca32a8ced1
|
@ -4,7 +4,7 @@
|
|||
},
|
||||
"require-dev": {
|
||||
"mediawiki/mediawiki-codesniffer": "39.0.0",
|
||||
"mediawiki/mediawiki-phan-config": "0.11.1",
|
||||
"mediawiki/mediawiki-phan-config": "0.12.0",
|
||||
"mediawiki/minus-x": "1.1.1",
|
||||
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
||||
"php-parallel-lint/php-parallel-lint": "1.3.2"
|
||||
|
|
|
@ -93,7 +93,7 @@ class TemplateDataValidator {
|
|||
|
||||
// Root.format
|
||||
if ( isset( $data->format ) ) {
|
||||
// @phan-suppress-next-line PhanTypeMismatchDimFetchNullable
|
||||
// @phan-suppress-next-line PhanCoalescingAlwaysNull
|
||||
$f = self::PREDEFINED_FORMATS[$data->format] ?? $data->format;
|
||||
if ( !is_string( $f ) ||
|
||||
!preg_match( '/^\n?\{\{ *_+\n? *\|\n? *_+ *= *_+\n? *\}\}\n?$/', $f )
|
||||
|
|
Loading…
Reference in a new issue