diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2025-03-30 18:45:31 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2025-03-31 19:47:36 +0000 |
| commit | be3115a12e20ed3fc9a6d74e2ab81d6d50922c4f (patch) | |
| tree | fa70d85c8ab777d575ee0bc6f1cfd4c0d20fc62d /.phan/config.php | |
| parent | 33f585f0842fae65ab9215247a2773f2b48893b0 (diff) | |
| download | mediawikicore-be3115a12e20ed3fc9a6d74e2ab81d6d50922c4f.tar.gz mediawikicore-be3115a12e20ed3fc9a6d74e2ab81d6d50922c4f.zip | |
maintenance: Use type declaration on undocumented private functions
Change-Id: I2c1bc3b4e0ee782076ddaeae133672b730d345d9
Diffstat (limited to '.phan/config.php')
0 files changed, 0 insertions, 0 deletions