MediaWiki phan configuration
Standard MediaWiki phan configuration
|
Public Member Functions | |
__construct (string $installPath) | |
addExtensionDependencies (string ... $extensions) | |
addSkinDependencies (string ... $skins) | |
Public Member Functions inherited from MediaWikiPhanConfig\ConfigBuilder | |
setRawOptions (array $options) | |
Sets an array of raw phan options. | |
make () | |
setFileList (array $list) | |
addFiles (string ... $files) | |
setExcludedFileList (array $list) | |
excludeFiles (string ... $files) | |
setExcludeFileRegex (string $regex) | |
setDirectoryList (array $list) | |
addDirectories (string ... $dirs) | |
setExcludedDirectoryList (array $list) | |
excludeDirectories (string ... $dirs) | |
setMinimumSeverity (int $minSev) | |
allowMissingProperties (bool $yn) | |
allowScalarImplicitCasts (bool $yn) | |
allowNullCastsAsAnyType (bool $yn) | |
enableDeadCodeDetection (bool $yn) | |
shouldDeadCodeDetectionPreferFalseNegatives (bool $yn) | |
setProgressBarMode (int $mode) | |
setSuppressedIssuesList (array $list) | |
suppressIssueTypes (string ... $types) | |
addGlobalsWithTypes (array $globals) | |
readClassAliases (bool $yn) | |
enableRedundantConditionDetection (bool $yn) | |
setMinimumPHPVersion (string $version) | |
Set the minimum PHP version that the codebase should support. | |
setTargetPHPVersion (string $version) | |
Set the PHP version to be checked against for forward-compatibility warnings. | |
addPlugins (array $plugins) | |
Adds one or more built-in plugins. | |
addCustomPlugins (array $plugins) | |
Adds one or more custom plugins. | |
enableTaintCheck (string $curDir, string $vendorPath) | |
Protected Member Functions | |
getTaintCheckPluginName () | |
Additional Inherited Members | |
Public Attributes inherited from MediaWikiPhanConfig\ConfigBuilder | |
const | PROGRESS_BAR_DISABLED = 0 |
const | PROGRESS_BAR_STANDARD = 1 |
const | PROGRESS_BAR_LONG = 2 |
MediaWikiPhanConfig\MediaWikiConfigBuilder::__construct | ( | string | $installPath | ) |
string | $installPath |
MediaWikiPhanConfig\MediaWikiConfigBuilder::addExtensionDependencies | ( | string ... | $extensions | ) |
MediaWikiPhanConfig\MediaWikiConfigBuilder::addSkinDependencies | ( | string ... | $skins | ) |
|
protected |
Reimplemented from MediaWikiPhanConfig\ConfigBuilder.