1
0
mirror of synced 2025-02-09 08:49:26 +03:00
Marco Pivetta d00069e38b Reverting 741da7806c5d01796e243de9a122590151cb0c90, which was causing issues due to loose type checking
See this example on why the revert is needed: https://3v4l.org/8T34v

Code copied for reference:

```php
<?php

$a = 1;

switch ($a) {
    case "1";
        echo "FUCK YOU, STUPID LANGUAGE!";
        break;
    case 1;
        echo __LINE__;
        break;
}
```
2016-06-19 09:28:12 +02:00
..
2014-02-05 15:13:53 +01:00
2015-12-11 20:30:41 +01:00
2015-12-11 20:30:41 +01:00
2012-12-13 18:19:21 +00:00
2016-06-08 12:24:41 +03:00
2015-12-11 20:30:41 +01:00
2015-12-11 18:27:19 +01:00
2015-04-02 21:42:47 +01:00