[php] Get the current script file name