PHP函数is_executable()如何判断文件是否具有执行权限?