From 2300787fdc4d04bc74d02448d52d00492317f2fa Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Sun, 10 Apr 2011 14:21:37 +0000 Subject: [PATCH] dl() -> wfDl() --- includes/diff/DifferenceEngine.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/diff/DifferenceEngine.php b/includes/diff/DifferenceEngine.php index 4719612f95..205962abc9 100644 --- a/includes/diff/DifferenceEngine.php +++ b/includes/diff/DifferenceEngine.php @@ -698,7 +698,7 @@ CONTROL; if ( $wgExternalDiffEngine == 'wikidiff' && !function_exists( 'wikidiff_do_diff' ) ) { wfProfileIn( __METHOD__ . '-php_wikidiff.so' ); wfSuppressWarnings(); - dl( 'php_wikidiff.so' ); + wfDl( 'php_wikidiff' ); wfRestoreWarnings(); wfProfileOut( __METHOD__ . '-php_wikidiff.so' ); } -- 2.20.1