/**
  * Get a user object for doing edits, from a request-lifetime cache
  */
 function getUser()
 {
     if (!self::$user) {
         self::$user = User::newFromName(wfMsgForContent('double-redirect-fixer'), false);
         if (!self::$user->isLoggedIn()) {
             self::$user->addToDatabase();
         }
     }
     return self::$user;
 }
 /**
  * Get a user object for doing edits, from a request-lifetime cache
  * False will be returned if the user name specified in the
  * 'double-redirect-fixer' message is invalid.
  *
  * @return User|bool
  */
 function getUser()
 {
     if (!self::$user) {
         $username = wfMessage('double-redirect-fixer')->inContentLanguage()->text();
         self::$user = User::newFromName($username);
         # User::newFromName() can return false on a badly configured wiki.
         if (self::$user && !self::$user->isLoggedIn()) {
             self::$user->addToDatabase();
         }
     }
     return self::$user;
 }
 /**
  * Get a user object for doing edits, from a request-lifetime cache
  * @return User
  */
 function getUser()
 {
     if (!self::$user) {
         self::$user = User::newFromName(wfMsgForContent('double-redirect-fixer'), false);
         # FIXME: newFromName could return false on a badly configured wiki.
         if (!self::$user->isLoggedIn()) {
             self::$user->addToDatabase();
         }
     }
     return self::$user;
 }