| Index: trunk/phase3/includes/diff/DifferenceEngine.php |
| — | — | @@ -698,7 +698,7 @@ |
| 699 | 699 | if ( $wgExternalDiffEngine == 'wikidiff' && !function_exists( 'wikidiff_do_diff' ) ) { |
| 700 | 700 | wfProfileIn( __METHOD__ . '-php_wikidiff.so' ); |
| 701 | 701 | wfSuppressWarnings(); |
| 702 | | - dl( 'php_wikidiff.so' ); |
| | 702 | + wfDl( 'php_wikidiff' ); |
| 703 | 703 | wfRestoreWarnings(); |
| 704 | 704 | wfProfileOut( __METHOD__ . '-php_wikidiff.so' ); |
| 705 | 705 | } |