A PHP script to recover a destroyed crontab