diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
| commit | d9022f63880ce039446fba8364f68e656b7bf4cb (patch) | |
| tree | 16b40fbf17bf7c9ee6f4ead25b16dd192378050a /includes/diff/WikiDiff3.php | |
| parent | 27cf83d177256813e2e802241085fce5dd0f3fb9 (diff) | |
Update to MediaWiki 1.19.0
Diffstat (limited to 'includes/diff/WikiDiff3.php')
| -rw-r--r-- | includes/diff/WikiDiff3.php | 5 |
1 files changed, 4 insertions, 1 deletions
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; |