Petr Škoda 736faed6c6 MDL-39802 add cli script for fixing of all deleted users
Use this script if something just set the user.deleted flag instead of calling the delete_user() method.
2013-05-24 21:08:45 +02:00
..
2013-05-20 15:33:19 +02:00
2011-11-06 12:51:48 +01:00
2011-09-27 00:39:21 +02:00