wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-15 02:54:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
2296 commits 279 branches 0 tags 21 MiB
Commit graph

2 commits

Author SHA1 Message Date
Umherirrender f5db77c750 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: I1b433ab02231087e0f84a734092751ce2cf28b2c
 2024-01-04 22:22:56 +01:00
Fomafix bfe320c2ea Move onBeforeSpecialMobileDiffDisplay to class MobileFrontendHandler 
This avoids a hard dependency on extension MobileFrontend.

Change-Id: I7dd3972145c1fbffae9bc58ed0d3157310a53354
 2023-11-16 14:46:27 +00:00