No matches were found for subject:"\[PHP\] How to make the PHP know the real SCRIPT_FILENAME\?"