Index: trunk/phase3/includes/diff/DifferenceEngine.php |
— | — | @@ -697,16 +697,12 @@ |
698 | 698 | global $wgExternalDiffEngine; |
699 | 699 | if ( $wgExternalDiffEngine == 'wikidiff' && !function_exists( 'wikidiff_do_diff' ) ) { |
700 | 700 | wfProfileIn( __METHOD__ . '-php_wikidiff.so' ); |
701 | | - wfSuppressWarnings(); |
702 | 701 | wfDl( 'php_wikidiff' ); |
703 | | - wfRestoreWarnings(); |
704 | 702 | wfProfileOut( __METHOD__ . '-php_wikidiff.so' ); |
705 | 703 | } |
706 | 704 | else if ( $wgExternalDiffEngine == 'wikidiff2' && !function_exists( 'wikidiff2_do_diff' ) ) { |
707 | 705 | wfProfileIn( __METHOD__ . '-php_wikidiff2.so' ); |
708 | | - wfSuppressWarnings(); |
709 | 706 | wfDl( 'wikidiff2' ); |
710 | | - wfRestoreWarnings(); |
711 | 707 | wfProfileOut( __METHOD__ . '-php_wikidiff2.so' ); |
712 | 708 | } |
713 | 709 | } |