wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-14 19:30:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
1962 commits 164 branches 0 tags 28 MiB
Commit graph

4 commits

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