78de2e86e8
We want to remove the managefiles button from the editors in the wiki so that students don't delete each others files.