php获取ajax提交的文件名,该怎么处理

php获取ajax提交的文件名
php获取ajax提交的文件名，比如shop.php文件提交到doshop.php文件，后台怎样获取到shop文件名呢
------解决思路----------------------
basename($_SERVER['HTTP_REFERER'])