PHP中这种类型的函数叫什么名字

Question

我在浏览几个laravel包代码的时候，经常会在classes里面看到这类函数，我想知道这类函数的名字是什么，如何使用，例如：

protected function getFiles(): Filesystem

{

}

或者

protected function getConfigPath(): string

{

}

PHP 文档链接会很有用。