Solch eine Funktion wäre zwar durchaus interessant, aber aus welchem Grund sollte man das benötigen. Der Ping ist ja von User zu User unterschiedlich, und würde bei einer solchen Funktion ja von dem anfragenden Server aus berechnet werden, und nicht vom Nutzer aus.