Description:
------------
Array can't fetch data with certain keys. No changes made in any important file. Tested also with version 4.3.2, same result.

Reproduce code:
---------------
$a = array('nothing', '1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12');
$b = $a[7];
$c = $a[07];
$d = $a[8];
$e = $a[08];
$f = $a[9];
$g = $a[09];
$h = $a[10];
$i = $a[10];
print("$b = $c, $d = $e, $f = $g, $h = $i"); // The print should be 7=7, 8=8, 9=9, 10=10 but no.

Expected result:
----------------
Array can't fetch data when key is 08 or 09. But when key is 07 or 10 it can. With numbers 7,8,9 and 10 it works nicely. If this behaviour is completely normal please feel free to send some insults to me.

Actual result:
--------------
Result is nothing.