diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2020-06-15 12:46:22 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2020-07-01 20:13:07 +0000 |
| commit | bc5cb7ae644bb8788499961dc6b009cb6f8b3a5e (patch) | |
| tree | 38354ca5f5a69c81616cdb27695a165c2c19ec9c /includes/resourceloader/ResourceLoaderFileModule.php | |
| parent | 7ba77c21c8c2cd4c0601d6c55fc3e6a18c5d75a4 (diff) | |
| download | mediawikicore-bc5cb7ae644bb8788499961dc6b009cb6f8b3a5e.tar.gz mediawikicore-bc5cb7ae644bb8788499961dc6b009cb6f8b3a5e.zip | |
phan: Enable redundant_condition_detection
Remove duplicate casts
Suppress false positives
Bug: T248438
Change-Id: I2f89664a4bcd3b39b15e7cf850adda2f0c90ae6f
Diffstat (limited to 'includes/resourceloader/ResourceLoaderFileModule.php')
| -rw-r--r-- | includes/resourceloader/ResourceLoaderFileModule.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/resourceloader/ResourceLoaderFileModule.php b/includes/resourceloader/ResourceLoaderFileModule.php index 4fe399f4d74a..477df3d38260 100644 --- a/includes/resourceloader/ResourceLoaderFileModule.php +++ b/includes/resourceloader/ResourceLoaderFileModule.php @@ -730,7 +730,7 @@ class ResourceLoaderFileModule extends ResourceLoaderModule { */ protected static function collateFilePathListByOption( array $list, $option, $default ) { $collatedFiles = []; - foreach ( (array)$list as $key => $value ) { + foreach ( $list as $key => $value ) { if ( is_int( $key ) ) { // File name as the value if ( !isset( $collatedFiles[$default] ) ) { |