if (EXT_IS_ACTIVE('task')) {
// When task extension is registered output advanced overview page
$jobsDone = OUTPUT_ADVANCED_OVERVIEW($result_tasks); // This function is provided by the extension 'task'
if (EXT_IS_ACTIVE('task')) {
// When task extension is registered output advanced overview page
$jobsDone = OUTPUT_ADVANCED_OVERVIEW($result_tasks); // This function is provided by the extension 'task'