Remove usage of HydraAuthUser once HydraAuth is reworked.
This has to do with the global bot creation during wiki installation in Tools.php
and createGlobalBot.php
.
Edited by Alexia
This has to do with the global bot creation during wiki installation in Tools.php
and createGlobalBot.php
.