获取html文件地址的有关问题

获取html文件地址的问题
1.一个html文件通过表单向php文件传送数据，如何在php文件里得知这个html文件的文件名（是文件名，比如，hello.html)
2.php文件通过ajax向一个html文件输出数据（ajax包含在html文件中），如何在php文件中得知这个html文件的文件名

突然想到这两个问题，请教各位大神，这是有解的问题不

------解决方案--------------------
1,
① referer
② 生成html的表单的时候藏一个input
③ 访问html页面的时候设置一个cookie记录URL
④ 访问html页面的时候使用session记录URL

2，
php文件通过ajax是啥玩意？
------解决方案--------------------
1.如果你传递了文件的名字 那么当然就得知，否则当然就无法得知.
2.如1

------解决方案--------------------
两个问题可以合并了。浏览器似乎会在提交表单的同时，在head报头中附带referer。这样你可以通过
$_SERVER['HTTP_REFERER']来获取发起请求的文件名。
例如

PHP code

if(isset($_SERVER['HTTP_REFERER']) ){
    $urlinfo = parse_url($_SERVER['HTTP_REFERER']);
    $filename = basename($urlinfo['path']);
} // 我不确定是否是所有浏览器都这样

------解决方案--------------------
$_SERVER