You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently with minDigitsBeforeDecimalPoint=3 this sniff enforces separator presence even for octal numbers, e.g. chmod($filename, 0666) should be spelled chmod($filename, 0_666). However, it's not how people are used to spell permissions, even if they want decimal numbers spelt as 3_456.
The text was updated successfully, but these errors were encountered:
weirdan
added a commit
to weirdan/psalm
that referenced
this issue
Jan 5, 2022
Currently with
minDigitsBeforeDecimalPoint=3
this sniff enforces separator presence even for octal numbers, e.g.chmod($filename, 0666)
should be spelledchmod($filename, 0_666)
. However, it's not how people are used to spell permissions, even if they want decimal numbers spelt as3_456
.The text was updated successfully, but these errors were encountered: