File pusher and upload form

push.php and uploader.php mistakenly ignored.