ルートディレクトリのデフォルト名：ルートディレクトリ自体を返すのはなぜですか？

basename /返されますが、/マンページは表示されますPrint NAME with any leading directory components removed。もちろん、/これは主要なディレクトリコンポーネントなので削除されませんでした。

これの根拠は何ですか？どこに文書化されていますか？私の検索結果は何もありませんでした。

代わりに、この場合、PHPのbasename（）関数は空の文字列を返します。