Switch to Boostrap 5

urweb · Jul 20, 2021 · 1c6dba3 · 1c6dba3
1 parent 7f76f82
commit 1c6dba3
Show file tree

Hide file tree

Showing 57 changed files with 101 additions and 102 deletions.
diff --git a/assignTasks.ur b/assignTasks.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con assignable :: {Type}

diff --git a/assignTimes.ur b/assignTimes.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 val eventLengthInSeconds = 60 * 90
 

diff --git a/auth.ur b/auth.ur
@@ -1,6 +1,6 @@
 (* Generic authentication backed by a database table *)
 
-open Bootstrap4
+open Bootstrap
 
 style alert_fixed
 

diff --git a/cached.ur b/cached.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 con r = _
 val fl = _

diff --git a/calendar.ur b/calendar.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 datatype level = Forbidden | Read | Write
 

diff --git a/calendarAddons.ur b/calendarAddons.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type event_data = {
      Id : option string,

diff --git a/choicesFromPreferences.ur b/choicesFromPreferences.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con choice :: Name

diff --git a/chooseForeign.ur b/chooseForeign.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con const :: {Type}

diff --git a/closedBallot.ur b/closedBallot.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con voterKey1 :: Name

diff --git a/csv.ur b/csv.ur
@@ -186,7 +186,7 @@ fun importTableWithHeader [fs] [fsC] [cs] [fs ~ fsC]
                            return hso)
                     sep 1 input None)
 
-open Bootstrap4
+open Bootstrap
 
 functor Import1(M : sig
                     con fs :: {Type}

diff --git a/default.ur b/default.ur
@@ -1,10 +1,10 @@
-open Bootstrap4
+open Bootstrap
 
 con r = _
 val fl = _
 
 val css =
-    {Bootstrap = bless "https://maxcdn.bootstrapcdn.com/bootstrap/4.4.1/css/bootstrap.min.css",
+    {Bootstrap = bless "https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css",
      FontAwesome = bless "https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.13.0/css/fontawesome.min.css",
      FontAwesomeSolid = bless "https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.13.0/css/solid.min.css",
      FontAwesomeRegular = bless "https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.13.0/css/regular.min.css",

diff --git a/default.urp b/default.urp
@@ -1,10 +1,10 @@
 library .
-allow url https://maxcdn.bootstrapcdn.com/bootstrap/4.4.1/css/bootstrap.min.css
+allow url https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css
 allow url https://maxcdn.bootstrapcdn.com/font-awesome/4.7.0/css/font-awesome.min.css
 allow url https://cdn.jsdelivr.net/npm/[email protected]/dist/css/select2.min.css
 script https://code.jquery.com/jquery-3.4.1.slim.min.js
 script https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.16.1/umd/popper.min.js
-script https://maxcdn.bootstrapcdn.com/bootstrap/4.4.1/js/bootstrap.min.js
+script https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.bundle.min.js
 script https://cdn.ckeditor.com/4.13.1/standard/ckeditor.js
 script https://cdn.jsdelivr.net/npm/[email protected]/dist/js/select2.min.js
 script https://cdn.jsdelivr.net/npm/[email protected]/build/jquery.datetimepicker.full.min.js

diff --git a/discussion.ur b/discussion.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 datatype access =
          Forbidden

diff --git a/displayRow.ur b/displayRow.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: {(Type * Type * Type)}

diff --git a/editGrid.ur b/editGrid.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: {Type}

diff --git a/editableTable.ur b/editableTable.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type permission = {Add : bool,
                    Delete : bool,

diff --git a/explorer.ur b/explorer.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type t1 (full :: {Type}) (p :: (Type * {Type} * {Type} * {{Unit}} * Type * Type * Type)) =
      {Title : string,

diff --git a/finalGrades.ur b/finalGrades.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 datatype access = Forbidden | Read | Write
 

diff --git a/formToTable.ur b/formToTable.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con widgets :: {(Type * Type * Type)}

diff --git a/grades.ur b/grades.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 datatype single_student =
          Atomic of string * option int

diff --git a/input.ur b/input.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con const :: {Type}

diff --git a/inputStrings.ur b/inputStrings.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con const :: {Type}

diff --git a/ledger.ur b/ledger.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type month = int * Datetime.month
 

diff --git a/lib.urp b/lib.urp
@@ -1,5 +1,5 @@
 html5
-library $/bootstrap/bootstrap4
+library $/bootstrap/bootstrap5
 library $/ajaxUpload
 library ckeditor
 library dateTimePicker

diff --git a/linearStateMachine.ur b/linearStateMachine.ur
@@ -1,6 +1,6 @@
 (* Moving through steps in the life cycle of an application *)
 
-open Bootstrap4
+open Bootstrap
 
 datatype activatedAs = NextStep | FastForward | Rewind
 

diff --git a/meetingGrid.ur b/meetingGrid.ur
@@ -5,7 +5,7 @@ style meeting_selected
 style meeting_conflict
 style meeting_movable
 
-open Bootstrap4
+open Bootstrap
 open Tooltip
 
 functor Make(M : sig

diff --git a/navbar.urp b/navbar.urp
@@ -1 +0,0 @@
-jsFile navbar.js

diff --git a/news.ur b/news.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 datatype access =
          Forbidden

diff --git a/openBallot.ur b/openBallot.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con voterKey1 :: Name

diff --git a/paramQuery.ur b/paramQuery.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  type input

diff --git a/paramQuery1.ur b/paramQuery1.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  type input

diff --git a/parameterizedQuery.ur b/parameterizedQuery.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 signature S = sig
     con params :: {(Type * Type * Type)}

diff --git a/permissionedSettings.ur b/permissionedSettings.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type t (w :: Type) (d :: Type) = {
      Create : string -> transaction w,

diff --git a/pickerGrid.ur b/pickerGrid.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con hidden :: {Type}

diff --git a/preferences.ur b/preferences.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con choice :: Name

diff --git a/profile.ur b/profile.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: {Type}

diff --git a/review.ur b/review.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con when :: Name

diff --git a/rsvp2.ur b/rsvp2.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  val homeLabel : string

diff --git a/scheduleSessions.ur b/scheduleSessions.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M: sig
                  con sessionKey1 :: Name

diff --git a/setTimes.ur b/setTimes.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: Name

diff --git a/simpleQuery.ur b/simpleQuery.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con fs :: {Type}

diff --git a/simpleQuery1.ur b/simpleQuery1.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con fs :: {Type}

diff --git a/simplerAssignTimes.ur b/simplerAssignTimes.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: Name

diff --git a/smartInsert.ur b/smartInsert.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con custom :: {Type}

diff --git a/smartList.ur b/smartList.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 (* One of these is all about generating content for the two main parts of a Bootstrap card. *)
 type t (inp :: Type) (r :: {Type}) (cfg :: Type) (st :: Type) = {

diff --git a/smartTable.ur b/smartTable.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 (* One of these is all about generating content table headers and rows *)
 type t (inp :: Type) (r :: {Type}) (cfg :: Type) (st :: Type) = {

diff --git a/submission.ur b/submission.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key1 :: Name

diff --git a/tableToTable.ur b/tableToTable.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: {(Type * Type * Type)}

diff --git a/timePreferences.ur b/timePreferences.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: Name

diff --git a/todo.ur b/todo.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type tag (t :: Type) =
      {Label : string,

diff --git a/toggle.ur b/toggle.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type xbody' = xml [Body] [] []
 

diff --git a/toggle3.ur b/toggle3.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type xbody' = xml [Body] [] []
 

diff --git a/ui.ur b/ui.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 type context = {
      ModalId : id,

diff --git a/userlist.ur b/userlist.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con key :: Name

diff --git a/usersFromPreferences.ur b/usersFromPreferences.ur
@@ -1,4 +1,4 @@
-open Bootstrap4
+open Bootstrap
 
 functor Make(M : sig
                  con choice :: Name