[PHP-BUG] Bug #68410 [NEW]: new \NumberFormatter does not work in namespace

From:             thomas at nunninger dot info
Operating system: Linux
PHP version:      5.6.2
Package:          PHP Language Specification
Bug Type:         Bug
Bug description:new \NumberFormatter does not work in namespace

Description:
------------
If I have a namespace and call

    new \NumberFormatter(...)

inside the namespace I get

    Fatal error: Class 'x\NumberFormatter' not found in
/home/thomas/test.php on line 7

If I add

    use \NumberFormatter;

it works.

BTW: I found this error in a class method. The reproducing script does
not use classes.

Test script:
---------------
<?php

namespace x;

# use \NumberFormatter;

$nf = new \NumberFormatter( 'de_DE', NumberFormatter::PATTERN_DECIMAL
);
var_dump( $nf );


Expected result:
----------------
object(NumberFormatter)#1 (0) {
}


Actual result:
--------------
Fatal error: Class 'x\NumberFormatter' not found in
/home/thomas/test.php on line 7


-- 
Edit bug report at https://bugs.php.net/bug.php?id=68410&edit=1
-- 
Try a snapshot (PHP 5.4):   https://bugs.php.net/fix.php?id=68410&r=trysnapshot54
Try a snapshot (PHP 5.5):   https://bugs.php.net/fix.php?id=68410&r=trysnapshot55
Try a snapshot (trunk):     https://bugs.php.net/fix.php?id=68410&r=trysnapshottrunk
Fixed in SVN:               https://bugs.php.net/fix.php?id=68410&r=fixed
Fixed in release:           https://bugs.php.net/fix.php?id=68410&r=alreadyfixed
Need backtrace:             https://bugs.php.net/fix.php?id=68410&r=needtrace
Need Reproduce Script:      https://bugs.php.net/fix.php?id=68410&r=needscript
Try newer version:          https://bugs.php.net/fix.php?id=68410&r=oldversion
Not developer issue:        https://bugs.php.net/fix.php?id=68410&r=support
Expected behavior:          https://bugs.php.net/fix.php?id=68410&r=notwrong
Not enough info:            https://bugs.php.net/fix.php?id=68410&r=notenoughinfo
Submitted twice:            https://bugs.php.net/fix.php?id=68410&r=submittedtwice
register_globals:           https://bugs.php.net/fix.php?id=68410&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=68410&r=php4
Daylight Savings:           https://bugs.php.net/fix.php?id=68410&r=dst
IIS Stability:              https://bugs.php.net/fix.php?id=68410&r=isapi
Install GNU Sed:            https://bugs.php.net/fix.php?id=68410&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=68410&r=float
No Zend Extensions:         https://bugs.php.net/fix.php?id=68410&r=nozend
MySQL Configuration Error:  https://bugs.php.net/fix.php?id=68410&r=mysqlcfg