diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2025-03-30 22:50:22 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2025-04-02 16:36:18 +0000 |
| commit | 396b584080d97a3dab44f3f07bc9efef4cc62aaf (patch) | |
| tree | 74b107d84cd9a37fbd44f25a95dc737825fcb093 /includes/search/TitlePrefixSearch.php | |
| parent | 9fd9fe48e33221a663e8cc78b3fd920e4a3b184c (diff) | |
| download | mediawikicore-396b584080d97a3dab44f3f07bc9efef4cc62aaf.tar.gz mediawikicore-396b584080d97a3dab44f3f07bc9efef4cc62aaf.zip | |
Use type declaration on undocumented private functions
Change-Id: I0d8d2237500ed6f18439410c902d47c42e4119bc
Diffstat (limited to 'includes/search/TitlePrefixSearch.php')
0 files changed, 0 insertions, 0 deletions