dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7f7bc7) | patch
Add maintenance script: Clean up expired userrights
authorEddie Greiner-Petter <git@eddie-sh.de>
Wed, 4 Oct 2017 19:55:59 +0000 (21:55 +0200)
committerEddie Greiner-Petter <git@eddie-sh.de>
Thu, 5 Oct 2017 18:38:55 +0000 (20:38 +0200)
commitfdb4557a5a4ee2c2fc8c997d57a43249dcb7d9cb
tree6999935be2d1975555b27d9bd661b724b01c259etree | snapshot
parenta7f7bc798161b9279fef38f6d44b8ee9b6055397commit | diff
Add maintenance script: Clean up expired userrights

This adds a maintenance script that removes all expired user group
entries from the user_groups table and adds them to the
user_former_groups table.

Bug: T176754
Change-Id: Ie0f4afd3dbecd3af42e89bb99cf03dbe03768d07
autoload.php diff | blob | history
maintenance/purgeExpiredUserrights.php [new file with mode: 0644] blob
Wiklou, le Wiki du Wiklou