[ticket/12576] Retrieve the cron_manager in cron.php if needed

PHPBB3-12576