$TITLEs[] = TASK_ADMIN_LIST_WERNIS_ALL_TITLE;
}
+ if (EXT_IS_ACTIVE("primera")) {
+ // List new primera requests
+ $SQLs[] = "SELECT userid FROM "._MYSQL_PREFIX."_user_primera ORDER BY userid";
+ $WHATs[] = "list_primera";
+ $DESCRs[] = TASK_ADMIN_LIST_PRIMERA_ALL;
+ $TITLEs[] = TASK_ADMIN_LIST_PRIMERA_ALL_TITLE;
+ }
+
if (EXT_IS_ACTIVE("holiday")) {
// List holiday requests
$SQLs[] = "SELECT userid FROM "._MYSQL_PREFIX."_user_holidays ORDER BY userid";