Revert r102624, r104262 (user display name stuff). Per CR there isn't consensus on...

[lhc/web/wiklou.git] / includes / DefaultSettings.php

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index ee92d6b..2984c7a 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2280,12 +2280,6 @@ $wgXhtmlNamespaces = array();
  */
 $wgShowIPinHeader      = true;
 
-/**
- * Use a user's real name inside the user interface for display instead of the username
- * (experimental)
- */
-$wgRealNameInInterface = false;
-
 /**
  * Site notice shown at the top of each page
  *