Add users to the wiki

Reset user passwords

In server where wiki is running: wiki01.grs.tudelft.nl

as root go to wiki maintenance directory:

cd /var/www/html/wiki/maintenance/

run reset changePassword.php script

php changePassword.php --user "Pier Siebesma" --password "xyzmwiefrjweiofj"

password is now reset to xyzmwiefrjweiofj