$env->set_link("admin/sourceml", $env->url("admin/sourceml"), "SourceML", 50);
$env->set_link("admin/sourceml/licences", $env->url("admin/licences"), "Licences", 10);
$env->set_link("admin/sourceml", $env->url("admin/sourceml"), "SourceML", 50);
$env->set_link("admin/sourceml/licences", $env->url("admin/licences"), "Licences", 10);