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