mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-24 06:54:00 +00:00
c794962df7
We can use this syntax now. It was introduced in PHP 7.4. Bug: T353269 Change-Id: I5404b33b654efb01171fa2b4ad3925170ffd0e56 |
||
---|---|---|
.. | ||
parser | ||
phpunit | ||
selenium |