aboutsummaryrefslogtreecommitdiff
path: root/src/pages.mli
diff options
context:
space:
mode:
authorAlban Gruin2021-09-19 12:29:50 +0200
committerAlban Gruin2021-09-19 12:39:11 +0200
commit4b05babc1e5a4466028d7d210d9a7920a4a401f7 (patch)
treeeda874f6ab2c8b613d09546a62064e0172c88df8 /src/pages.mli
parentd489f3743cca9e6fb3dddbf10bbcb1e188b09f0b (diff)
server, ics, pages: allow to generate ICS from modules
This adds the ability to generate an ICS file from a module ID, and to filter it based on its groups. To do this, you can enter a module ID on the frontpage. Then, µCS will fetch the timetable, then return a page where one can select the group(s) they want to filter (this is enabled by the new Ics.get_all_groups function). Then, µCS is able to generate a link to that calendar, not unlike with a single group ID. Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/pages.mli')
-rw-r--r--src/pages.mli3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/pages.mli b/src/pages.mli
index aef68b4..0e2180e 100644
--- a/src/pages.mli
+++ b/src/pages.mli
@@ -1,5 +1,5 @@
(*
- * Copyright (C) 2020 Alban Gruin
+ * Copyright (C) 2020, 2021 Alban Gruin
*
* ucs is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as published
@@ -17,3 +17,4 @@
val main : string
val link : string -> string
+val select : string -> string Seq.t -> string