From 2526c0a1fde7c761cc08a5e2f5736e759161e28a Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Wed, 6 Jul 2011 17:27:33 +0000
Subject: [PATCH] setFileVersion (r91435) was missing default $val

---
 includes/OutputPage.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 1de0b653b6..32e99fdcea 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -1307,10 +1307,11 @@ class OutputPage {
 	 * @return Mixed: previous value
 	 */
 	public function setFileVersion( $file ) {
+		$val = null;
 		if ( $file instanceof File && $file->exists() ) {
 			$val = array( 'time' => $file->getTimestamp(), 'sha1' => $file->getSha1() );
 		}
-		return wfSetVar( $this->mFileVersion, $val );
+		return wfSetVar( $this->mFileVersion, $val, true );
 	}
 
 	/**
-- 
2.20.1