OutputPage.php: Reuse existing variable $user
authorFomafix <fomafix@googlemail.com>
Tue, 23 Aug 2016 07:12:35 +0000 (07:12 +0000)
committer[[mw:User:Fomafix]] <gerritpatchuploader@gmail.com>
Tue, 23 Aug 2016 07:12:35 +0000 (07:12 +0000)
commit23fccd27081e71b89d749754e7c1f638059306da
tree655e5ce72f64f33172ac16e07f39e21e633dd707
parentda5ecfc384c68d396eae13dbd6160aa7e47e416b
OutputPage.php: Reuse existing variable $user

Follows-up to 81c291f2

Change-Id: Id32daf74549c8af886a46119b30ff29ab2a6ac94
includes/OutputPage.php