1<?php
2$lang["show-realname"] = "Show the real names instead of usernames";
3$lang["enable-pagelist"] = "Enable showing a page list for each user statistic";
4$lang["show-profile-links"] = "Enable making the name link to the user's profile page";
5$lang["show-deleted-users"] = "Show deleted users";
6