Adapted filters for DUMMY lectors

2026-07-20 00:12:15 +00:00 · 2019-10-16 12:00:40 +02:00
parent aa6946bfff
commit 280c4ca19f
1 changed files with 2 additions and 0 deletions
@@ -411,6 +411,7 @@ $filters = array(
 			    "name": "",
 				"columns": [
 				    {"name": "row_index"},
+				    {"name": "personalnummer"},
 				    {"name": "lehreinheit_id"},
 				    {"name": "lehrveranstaltung_id"},
 				    {"name": "lv_bezeichnung"},
@@ -458,6 +459,7 @@ $filters = array(
 			    "name": "",
 				"columns": [
 				    {"name": "row_index"},
+				    {"name": "personalnummer"},
 				    {"name": "lehreinheit_id"},
 				    {"name": "lehrveranstaltung_id"},
 				    {"name": "lv_bezeichnung"},