I don't think you need it. I think those instructions are a bit outdated, as I've never added anything to the file (unless it's PHP running as a CGI).
So with the current PHP cron script, simply edit the path to main at the top. Setup the cron task on your server to run it nightly. And you should be set. <img src="https://www.ubbcentral.com/boards/images/graemlins/smile.gif" alt="" />
