只获取文件夹中具有特定扩展名的文件名 - PHP

Question

我试图只使用PHP代码获取路径的文件名。我使用了glob（）函数，但它返回了我的结果：

C：\ Users \ HP \ Desktop \ CSVFiles \ 672VER.csvC：\ Users \ HP \ Desktop \ CSVFiles \ ACC1.csvC：\ Users \ HP \ Desktop \ CSVFiles \ EMP.csv

我只想获得 672VER，ACC1和EMP

任何人都可以帮我这样做吗？ :(我直到早上才想弄清楚这段代码。

这是我的代码

$files = array();
foreach (glob("C:\Users\HP\Desktop\CSVFiles\*.csv") as $file1) {
  $files[] = $file1;

  echo $file1;

}

更新： 我去了这个链接How to get file name from full path with PHP?并没有得到我想要的结果.... 它只给了我一个星号（*）标志......