Hannes Mannerheim b81857656f delete groups from groups directory, for admins 10 jaren geleden
..
actions 4d4a0491f1 groups/all didn't work, also fixed pagination in directory/users, and a convenient delete-button for admins 10 jaren geleden
css 42e945a42d Style group directory output 13 jaren geleden
images f157c523fd * Reformat list of profiles in a table 13 jaren geleden
lib b81857656f delete groups from groups directory, for admins 10 jaren geleden
locale 51b28eda19 Localisation updates from http://translatewiki.net. 12 jaren geleden
DirectoryPlugin.php faae9d069a We're using URLMapper, not Net_URL_Mapper 10 jaren geleden