This repository has been archived on 2024-07-04. You can view files and clone it, but cannot push or open issues or pull requests.

Yorin Anne De Jong 24b6af1799 Add admin button to user menu, if admin		2018-02-13 18:30:49 +01:00
..
index.php	Add admin button to user menu, if admin	2018-02-13 18:30:49 +01:00