Use protocol-relative URL for link to MediaWiki.org (as with the footer logo on each...

[lhc/web/wiklou.git] / includes / HistoryBlob.php

diff --git a/includes/HistoryBlob.php b/includes/HistoryBlob.php
index 7535a0d..f707b3f 100644 (file)
--- a/includes/HistoryBlob.php
+++ b/includes/HistoryBlob.php
@@ -516,7 +516,7 @@ class DiffHistoryBlob implements HistoryBlob {
                $header = unpack( 'Vofp/Vcsize', substr( $diff, 0, 8 ) );
                
                # Check the checksum if mhash is available
-               if ( function_exists( 'mhash' ) ) {
+               if ( extension_loaded( 'mhash' ) ) {
                        $ofp = mhash( MHASH_ADLER32, $base );
                        if ( $ofp !== substr( $diff, 0, 4 ) ) {
                                wfDebug( __METHOD__. ": incorrect base checksum\n" );