Source position: mysql.inc line 1874
var mysql_refresh: function(
mysql: PMYSQL;
refresh_options: cuint
):cint;