diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2022-03-17 00:34:23 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2022-03-18 18:52:24 +0000 |
| commit | 6dd8a2bb325703f1e79843162a4eb96ec175cf9f (patch) | |
| tree | 41c626c83e92b228546540bb531984baad5e753d /includes/xml/XmlSelect.php | |
| parent | ed2805e309bb76fb115daed5104ce3eb68928704 (diff) | |
| download | mediawikicore-6dd8a2bb325703f1e79843162a4eb96ec175cf9f.tar.gz mediawikicore-6dd8a2bb325703f1e79843162a4eb96ec175cf9f.zip | |
phan: Disable scalar_implicit_cast setting
Make phan stricter about scalar types by setting scalar_implicit_cast to
false (the default in mediawiki-phan-config)
Bug: T242536
Bug: T301991
Change-Id: Ia2fe30b17804186571722e728578121c8b75d455
Diffstat (limited to 'includes/xml/XmlSelect.php')
| -rw-r--r-- | includes/xml/XmlSelect.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/xml/XmlSelect.php b/includes/xml/XmlSelect.php index 36ea77a8a85c..e418a4ce297a 100644 --- a/includes/xml/XmlSelect.php +++ b/includes/xml/XmlSelect.php @@ -75,7 +75,7 @@ class XmlSelect { /** * @param string $label - * @param string|int|false $value If not given, assumed equal to $label + * @param string|int|float|false $value If not given, assumed equal to $label */ public function addOption( $label, $value = false ) { $value = $value !== false ? $value : $label; |