Periodic merge upstream #1

Merged

djpbessems merged 3 commits from development into master

2019-02-28 14:31:11 +00:00

Author	SHA1	Message	Date
Danny Bessems	0c21ac33f4	Managementinterface retrieves data from database; Table on interface is editable (no callback to backend yet)	2019-02-28 14:56:40 +01:00
Danny Bessems	c8fe81d222	Migrated IDE platform; accepting nonexisting diffs to make IDE happy	2019-02-27 21:39:31 +01:00
djpbessems	1ffa164160	Added placeholder management page (usermanagement, dbmanagement)	2019-02-25 15:00:32 +01:00