$result = mysql_query($sql) or die("ERROR: ".mysql_error()." <br/>SQL=".$sql);这句是什么意思?为什么有个or,而且die函数是什么?mysql_query函数是什么?有没有可以查询PHP函数的工具