Add student number to User object
In this merge request, the student number is added to the user object in the code. Moreover, it is assumed that student_number is a column of the User table in the database.
In order to update the database, use the following script:
ALTER TABLE User ADD COLUMN student_number int NULL;
Edited by Otto Visser