diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2025-02-20 22:16:12 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2025-02-20 22:15:22 +0000 |
| commit | 5429d4619688f747133ad4b90b2ce5388811ac1a (patch) | |
| tree | b26f1fa2650bc78d7edc435abe35e1ded891747a /includes/specials/SpecialExport.php | |
| parent | 817e07006fd210d9937aba9701f94f534f1c1326 (diff) | |
| download | mediawikicore-5429d4619688f747133ad4b90b2ce5388811ac1a.tar.gz mediawikicore-5429d4619688f747133ad4b90b2ce5388811ac1a.zip | |
specials\pagers: Use type declaration on constructor and properties
Change-Id: Iff96024f9b261fff2af4205ee7ac568ce53f84a1
Diffstat (limited to 'includes/specials/SpecialExport.php')
0 files changed, 0 insertions, 0 deletions