check if the wikidiff2 function exists after loading the extension, in case the exten...
authorTim Starling <tstarling@users.mediawiki.org>
Fri, 17 Feb 2006 04:49:13 +0000 (04:49 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Fri, 17 Feb 2006 04:49:13 +0000 (04:49 +0000)
commit630221288a5df063fd474fc315ceebfad8469dad
tree82225b8128f56662401c851dc86f8519461432ed
parent190b8d4131703586d0e3da0463b1bdfbcb92b46f
check if the wikidiff2 function exists after loading the extension, in case the extension is corrupt
includes/DifferenceEngine.php