wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-02 20:06:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
1425 commits 13 branches 20 tags 30 MiB
Commit graph

5 commits

Author SHA1 Message Date
Kunal Mehta f308135df3 Use PHP 7's ?? syntax 
Change-Id: I768782b8acbc1776e29886d330358553675e272b
 2019-03-20 21:16:08 -07:00
Umherirrender 55bd9d22bb Add method scope visibility 
Change-Id: I2efe0f71266d70e9a41e044406d82ef7daa31296
 2018-11-19 21:18:12 +00:00
stibba 946874ef01 Update mediawiki http to https in Scribunto extension 
This patch updates the scribunto extension so all old http links
to wikimedia are now https.

Bug: T189687
Change-Id: I3f030063e7c6277abd3b0458eaf4b973145afed2
 2018-10-29 14:33:03 +01:00
Kunal Mehta d245edbb94 Add phan configuration 
Manually import LuaSandbox's git repository as a composer dependency to
provide the PHP stubs for phan.

Change-Id: I6226b9211f31d829da5a2775c6f5cf3599dd8ebc
 2018-05-14 18:41:59 -07:00
Kunal Mehta 1fad4da137 Move classes into includes/ 
Change-Id: Ida2c9cac348fe31ecf8d8c0a352e899bcbff1ebf
 2018-04-09 08:54:22 -07:00
Renamed from common/Base.php (Browse further)