diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2022-07-31 02:02:18 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2022-11-03 18:55:47 +0100 |
| commit | 1b342a889388da44c084809e65854f307a009ba9 (patch) | |
| tree | 4a9f766a6fa70cd155f6586b1d6546d52002289a /includes/Html.php | |
| parent | 5b703126e52c417d870f81d935bfa1d452d559da (diff) | |
| download | mediawikicore-1b342a889388da44c084809e65854f307a009ba9.tar.gz mediawikicore-1b342a889388da44c084809e65854f307a009ba9.zip | |
Various doc fixes about false and null on method arguments/return types
Doc-only changes
Change-Id: Ice974b3ba41708859dfe646e94b31c5ebbf26410
Diffstat (limited to 'includes/Html.php')
0 files changed, 0 insertions, 0 deletions