| Index: trunk/phase3/includes/Diff.php |
| — | — | @@ -30,7 +30,7 @@ |
| 31 | 31 | * |
| 32 | 32 | * @author Guy Van den Broeck |
| 33 | 33 | */ |
| 34 | | -function wikidiff3_diff(array $from, array $to, $boundRunningTime=FALSE, $max_NP_before_bound = 800000){ |
| | 34 | +function wikidiff3_diff( /*array*/ $from, /*array*/ $to, $boundRunningTime=FALSE, $max_NP_before_bound = 800000){ |
| 35 | 35 | wfProfileIn( __METHOD__ ); |
| 36 | 36 | |
| 37 | 37 | $m = sizeof($from); |
| — | — | @@ -101,7 +101,7 @@ |
| 102 | 102 | return array($result_from, $result_to); |
| 103 | 103 | } |
| 104 | 104 | |
| 105 | | -function wikidiff3_diffPart(array $a, array $b, InLcs $a_inLcs, InLcs $b_inLcs, $m, $n, $offsetx, $offsety, $bestKnownLcs, $boundRunningTime=FALSE, $max_NP_before_bound = 800000){ |
| | 105 | +function wikidiff3_diffPart( /*array*/ $a, /*array*/ $b, InLcs $a_inLcs, InLcs $b_inLcs, $m, $n, $offsetx, $offsety, $bestKnownLcs, $boundRunningTime=FALSE, $max_NP_before_bound = 800000){ |
| 106 | 106 | if($bestKnownLcs==0 || $m==0 || $n==0){ |
| 107 | 107 | return; |
| 108 | 108 | } |