mysql_query("UPDATE `users` SET `jifen`= round(`jifen`+(`percent`/100),1) WHERE user='$inuser'");这个SQL里的函数是mysql函数还是php函数,函数意思是什么