mirror of
https://ghproxy.net/https://github.com/wp-cli/extension-command.git
synced 2025-08-18 05:21:17 +08:00
15 lines
403 B
Text
15 lines
403 B
Text
parameters:
|
|
level: 9
|
|
paths:
|
|
- src
|
|
- extension-command.php
|
|
scanDirectories:
|
|
- vendor/wp-cli/wp-cli/php
|
|
scanFiles:
|
|
- vendor/php-stubs/wordpress-stubs/wordpress-stubs.php
|
|
treatPhpDocTypesAsCertain: false
|
|
ignoreErrors:
|
|
- identifier: missingType.iterableValue
|
|
- identifier: missingType.property
|
|
- identifier: missingType.parameter
|
|
- identifier: missingType.return
|
