includes/pageprocess.php
changeset 31 dc8741857bde
parent 28 dd2edcdc6c03
child 32 4d87aad3c4c0
--- a/includes/pageprocess.php	Thu Jun 28 13:49:40 2007 -0400
+++ b/includes/pageprocess.php	Thu Jun 28 15:26:40 2007 -0400
@@ -560,7 +560,7 @@
     
     if ( !empty($userdata['real_name']) )
     {
-      echo '<tr><td class="row3">Real name: ' . htmlspecialchars($userdata['real_name']) . '</td></tr>';
+      echo '<tr><td class="row3">Real name: ' . $userdata['real_name'] . '</td></tr>';
     }
     
     // Comments