From 4888b327db328efb2af50aee887148b52d5272a8 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Sun, 2 Apr 2006 03:57:51 +0000
Subject: [PATCH] Live fix: profiling points for wikidiff2

---
 includes/DifferenceEngine.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/includes/DifferenceEngine.php b/includes/DifferenceEngine.php
index 33c4df9214..beab95b4dd 100644
--- 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 ) {
-- 
2.20.1