diff options
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; |