OutputPage.php: Reuse existing variable $user

Follows-up to 81c291f2

Change-Id: Id32daf74549c8af886a46119b30ff29ab2a6ac94

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 852a4ed..c7499b1 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -3096,7 +3096,7 @@ class OutputPage extends ContextSource {
 
                $user = $this->getUser();
 
-               if ( !$this->getUser()->isLoggedIn() ) {
+               if ( !$user->isLoggedIn() ) {
                        // Anons have predictable edit tokens
                        return false;
                }