87a6da0d59
When "Path to PHP CLI" is not defined, an exception with the message in cannotfindthepathtothecli should be displayed, and the page should be redirected to System paths settings page. Apart from that, this patch also replaced core_task to tool_task, because this message wasn't traslated properly.