update mysql functions in runbot.php