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

2 commits

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