wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-27 17:50:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/.phan
History
Umherirrender 1b2e35a108 build: Load pcntl stub to pass phan on windows 
pcntl cannot installed on windows,
use the stub shipped with mediawiki/core to provide the missing constant

Change-Id: I974110db1cf1cf98e860a5589d0d3c280488c3aa
2020-06-06 13:58:24 +02:00
..
config.php build: Load pcntl stub to pass phan on windows 2020-06-06 13:58:24 +02:00