Commit Graph

15 Commits

Author SHA1 Message Date
d93e71dc28 Rename v5 FontAwesome icons to match v6 name
While FontAwesome provides aliases for all icons, we switch to the new names for consistency. See all changes at:
https://fontawesome.com/docs/web/setup/upgrade/whats-changed#icons-renamed-in-version-6
2022-08-09 14:17:32 +02:00
da0a682ffb Apply manual rubocop fixes 2021-05-14 22:03:06 +02:00
e340f28abb Allow access to RfCs for all users 2020-03-03 18:13:43 +01:00
2125fb1c1d Ensure views only link to those actions allowed for current user 2018-12-12 14:09:19 +01:00
4b251599ff Use admin? or teacher? for permission check instead of internal_user? 2018-12-12 14:09:19 +01:00
7bdb962616 Update Bootstrap to v4.1, fix chosen.js and pagedown on multiple sites 2018-11-06 16:49:41 +01:00
f1830f5322 re-introduce my_request_for_comments option for external_users 2018-05-16 15:30:18 +02:00
208a856cb8 hide links to rfc overviews from external users 2018-02-27 13:48:52 +01:00
5de32edcc9 Add link to comment activity to session menu 2017-08-13 16:13:40 +02:00
2753608167 Restructure session menu 2016-04-27 18:02:11 +02:00
ba040beceb Add link to all requests 2016-04-26 14:21:25 +02:00
1902760c61 Add link to own requests in navbar 2016-04-26 14:15:40 +02:00
9d6b79c919 replaced Glyphicon icons by Font Awesome icons 2015-03-18 10:19:39 +01:00
466f8967e2 eliminated naming clash with Sorcery 2015-02-23 10:39:04 +01:00
4cbf9970b1 transferred Code Ocean from original repository to GitHub 2015-01-22 10:01:32 +01:00