push.php works