edit_user.php
changeset 117 04cf478997f2
parent 116 cc09385a62aa
child 119 f74e4f88b680
--- a/edit_user.php	Sun Mar 30 15:33:55 2008 +0000
+++ b/edit_user.php	Sun Mar 30 16:21:09 2008 +0000
@@ -140,11 +140,11 @@
 		echo "     </form>\n";
 
 		echo "     <p>\n";
-		printf("      This user has been assigned the \"%s\" permission template.", $user['tpl_name']);
+		printf(_('This user has been assigned the permission template "%s".'), $user['tpl_name']);
 		if ($user['tpl_descr'] != "") { 
-			echo " The description for this template is: \"" . $user['tpl_descr'] . "\".";
+			echo " " . _('The description for this template is') . ": \"" . $user['tpl_descr'] . "\".";
 		}
-		echo " Based on this template, this user has the following permissions:";
+		echo " " . _('Based on this template, this user has the following permissions') . ":";
 		echo "     </p>\n";
 		echo "     <ul>\n";
 		foreach (get_permissions_by_template_id($user['tpl_id']) as $item) {