| Index: trunk/phase3/includes/diff/DifferenceEngine.php |
| — | — | @@ -623,7 +623,7 @@ |
| 624 | 624 | */ |
| 625 | 625 | private function initDiffEngines() { |
| 626 | 626 | global $wgExternalDiffEngine; |
| 627 | | - if ( $wgExternalDiffEngine == 'wikidiff' && !function_exists( 'wikidiff_do_diff' ) { |
| | 627 | + if ( $wgExternalDiffEngine == 'wikidiff' && !function_exists( 'wikidiff_do_diff' ) ) { |
| 628 | 628 | wfProfileIn( __METHOD__ . '-php_wikidiff.so' ); |
| 629 | 629 | @dl( 'php_wikidiff.so' ); |
| 630 | 630 | wfProfileOut( __METHOD__ . '-php_wikidiff.so' ); |