Is the world coming to an end?

[KennyTM~]

On Apr 3, 11 07:50, Walter Bright wrote:
> On 4/2/2011 3:27 PM, ulrik.mikaelsson at gmail.com wrote:
>> As I wrote, I think it's great that 010 != 8 anymore.
>
> 010, etc., will now be errors. They will not be 10 decimal.
>
> Also, the literals 00, 01, ..., 07 will still be accepted without
> complaint. 08, 09, etc. will of course be errors.

Will it be part of the spec that 0+[0-7] will work, and the rest of 0\d+ 
won't? Or is this considered just a DMD extension?