Check for Wikidiff2 version 0.3 NOT for 0.3.0
authorTobias Gritschacher <tobias.gritschacher@wikimedia.de>
Mon, 4 Sep 2017 11:58:49 +0000 (13:58 +0200)
committerTobias Gritschacher <tobias.gritschacher@wikimedia.de>
Mon, 4 Sep 2017 11:58:49 +0000 (13:58 +0200)
commit286245181ddbf5f4b80e3da11dfa170354316573
tree1fcdb0e7bb2a352374730f7ae2f40688cc8a9943
parent0f9057f180eccce55c44b217acbea3b788fa4906
Check for Wikidiff2 version 0.3 NOT for 0.3.0

version_compare( '0.3', '0.3.0', '>=' ) gives false, so we need to check
for 0.3 since the Wikidiff2 version is defined as 0.3 in
https://gerrit.wikimedia.org/r/#/c/319866/60/Wikidiff2.h

Bug: T166571
Change-Id: Id6e9f402af2fab784a3db2444f201022e2d0de3e
includes/diff/DifferenceEngine.php