[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Check for Wikidiff2 version 0.3 NOT for 0.3.0

2017-09-05 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/375784 ) Change subject: Check for Wikidiff2 version 0.3 NOT for 0.3.0 .. Check for Wikidiff2 version 0.3 NOT for 0.3.0

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Check for Wikidiff2 version 0.3 NOT for 0.3.0

2017-09-04 Thread Tobias Gritschacher (Code Review)
Tobias Gritschacher has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/375784 ) Change subject: Check for Wikidiff2 version 0.3 NOT for 0.3.0 .. Check for Wikidiff2 version 0.3 NOT for 0.3.0