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

5 commits

Author SHA1 Message Date
Umherirrender 68aebf853c Use namespaced classes 
This requires 1.42 for some new names

Done automatically via script

Change-Id: I6f6899981eab571cabb57534d7d98ce546a30a75
 2024-01-05 19:24:06 +01:00
Umherirrender 945a7871cd Replace empty() with isset() 
The property is set to true or is unset,
isset is easier to understand in that case

Change-Id: Ib98e387ae1a2352556f57aee93da92bdf5453633
 2023-10-21 20:38:47 +02:00
Umherirrender a8280e5e5f Use namespaced Title 
Bug: T321681
Change-Id: I65940dc6d276f86734ff724d6605facb68dd8e44
 2023-08-19 20:18:41 +02:00
Daimona Eaytoy 846495fe45 Replace deprecated MWException 
Bug: T328220
Change-Id: I38be06abdabff29276f07c378f3ef434973fb8d6
 2023-06-09 14:43:44 +02:00
Reedy 8e73003fee Start namespacing extension 
Change-Id: Ib632434861c2df03dfcddbd195f556c937812196
 2022-05-12 01:33:11 +00:00
Renamed from includes/common/Scribunto.php (Browse further)