mysql_ping        287 ext/mysql/php_mysql.c 	PHP_FE(mysql_ping,									arginfo__optional_mysql_link)
mysql_ping        932 ext/mysql/php_mysql.c 			if (mysql_ping(mysql->conn)) {
mysql_ping       2671 ext/mysql/php_mysql.c 	RETURN_BOOL(! mysql_ping(mysql->conn));
mysql_ping       1879 ext/mysqli/mysqli_api.c 	rc = mysql_ping(mysql->mysql);
mysql_ping        180 ext/mysqli/mysqli_nonapi.c 							if (!mysql_ping(mysql->mysql)) {
mysql_ping        493 ext/pdo_mysql/mysql_driver.c 	if (mysql_ping(H->server)) {