Delete push_old.php

Not sure why but git didnt track deletion on my master.