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

4 commits

Author SHA1 Message Date
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)