diff --git a/Layout/default/menu.php b/Layout/default/menu.php index 55637dc6e..f25295d89 100644 --- a/Layout/default/menu.php +++ b/Layout/default/menu.php @@ -63,7 +63,7 @@ is(["Admin","netowner","pipeplanner"])): ?>
  • "> Objekte & Anschlüsse
  • is(["Admin","netowner","pipeplanner","pipeworker","lineplanner","lineworker"])): ?>
  • "> Tiefbau
  • is(["Admin","netowner","lineplanner","lineworker"])): ?>
  • "> Leitungsbau
  • - is(["Admin", "netowner", "netoperator", "lineworker"])): ?>
  • "> Patchungen
  • + is(["Admin", "netowner", "netoperator", "lineworker"])): ?>
  • "> Patchungen
  • is(["Admin", "netowner","pipeplanner","lineplanner","pipeworker", "netoperator", "lineworker"])): ?>
  • "> Dateiablage