- I re-initialized the array $wgGroupPermissions in LocalSettings.php,
Ooo, yes, that would break a lot!
- I thought the permission name was "undelete" and it was not
(by the way, I still do not know which name it is.)
It could be "restore"... I'm not sure without looking it up.