Live fix: profiling points for wikidiff2

diff --git a/includes/DifferenceEngine.php b/includes/DifferenceEngine.php
index 33c4df9..beab95b 100644 (file)
--- a/includes/DifferenceEngine.php
+++ b/includes/DifferenceEngine.php
@@ -367,10 +367,15 @@ CONTROL;
                        # Better external diff engine, the 2 may some day be dropped
                        # This one does the escaping and segmenting itself
                        if ( !function_exists( 'wikidiff2_do_diff' ) ) {
+                               wfProfileIn( "$fname-dl" );
                                @dl('php_wikidiff2.so');
+                               wfProfileOut( "$fname-dl" );
                        }
                        if ( function_exists( 'wikidiff2_do_diff' ) ) {
-                               return wikidiff2_do_diff( $otext, $ntext, 2 );
+                               wfProfileIn( 'wikidiff2_do_diff' );
+                               $text = wikidiff2_do_diff( $otext, $ntext, 2 );
+                               wfProfileOut( 'wikidiff2_do_diff' );
+                               return $text;
                        }
                }
                if ( $wgExternalDiffEngine !== false ) {