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