convert identation to spaces in ping.php