wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes
History
Kunal Mehta f308135df3 Use PHP 7's ?? syntax 
Change-Id: I768782b8acbc1776e29886d330358553675e272b
2019-03-20 21:16:08 -07:00
..
common Use PHP 7's ?? syntax 2019-03-20 21:16:08 -07:00
engines Use PHP 7's ?? syntax 2019-03-20 21:16:08 -07:00