1.35 means 1.35

Change-Id: Ib21c3da56101b8b7efa4c64986de83f3bdad76fb
This commit is contained in:
Reedy 2019-10-15 21:47:35 +01:00
parent d0ccf7fb25
commit f36901ab52

View file

@ -105,7 +105,7 @@ because of Phabricator reports.
* …
== Compatibility ==
MediaWiki 1.34 requires PHP 7.2.0 or later, and the following PHP extensions:
MediaWiki 1.35 requires PHP 7.2.9 or later, and the following PHP extensions:
* ctype
* dom