From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 3 May 2012 13:01:35 +0200 Subject: Update to MediaWiki 1.19.0 --- includes/diff/WikiDiff3.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'includes/diff/WikiDiff3.php') diff --git a/includes/diff/WikiDiff3.php b/includes/diff/WikiDiff3.php index 27d3d5b8..66727445 100644 --- a/includes/diff/WikiDiff3.php +++ b/includes/diff/WikiDiff3.php @@ -546,9 +546,12 @@ class WikiDiff3 { } // return the middle diagonal with maximal progress. - return $max_progress[floor( $num_progress / 2 )]; + return $max_progress[(int)floor( $num_progress / 2 )]; } + /** + * @return mixed + */ public function getLcsLength() { if ( $this->heuristicUsed && !$this->lcsLengthCorrectedForHeuristic ) { $this->lcsLengthCorrectedForHeuristic = true; -- cgit v1.2.3-54-g00ecf