"Call to undefined function" 在 php 5.6.2 中使用 "use function"

"Call to undefined function" using "use function" in php 5.6.2

我不知道我是不是在问一个愚蠢的问题。但是在 php 5.6.2 中使用命名空间函数时出现以下问题。
我正在关注此手册页:
http://php.net/manual/en/language.namespaces.importing.php

在示例中它说:

// aliasing a function (PHP 5.6+)
use function My\Full\functionName as func;
//some other examples in between;
func(); // calls function My\Full\functionName

所以我尝试了这个:
file1.php

<?php
namespace A;
function func() {
    return "Hohoho!";
}
?>

index.php

use function A\func as hohoho;
echo hohoho();

PHP 给我以下错误:

Fatal error: Call to undefined function A\func()

我很迷茫

index.php.

中包含 file1.php
include 'file1.php';