wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 09:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/Content
History
Umherirrender 1afd0a6e02 Use namespaced classes 
This requires 1.42 for some new names

Changes to the use statements done automatically via script
Addition of missing use statement done manually

Change-Id: Iacbea33299995c537a7ef77b524614ad02c6a559
2024-01-06 17:45:07 +01:00
..
GadgetDefinitionContent.php Use namespaced classes 2024-01-06 17:45:07 +01:00
GadgetDefinitionContentArmor.php docs: Make PHP file headers more consistent 2023-10-30 18:10:58 -04:00
GadgetDefinitionContentHandler.php Use namespaced classes 2024-01-06 17:45:07 +01:00
GadgetDefinitionValidator.php Use namespaced classes 2024-01-06 17:45:07 +01:00
schema.json Specify all source pages in a single array in JSON definitions 2023-12-16 14:31:09 +05:30