diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2022-02-19 11:30:02 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2022-02-24 17:16:36 +0000 |
| commit | 6a3cdd15e1b2c066936c5385cace3778f0343f70 (patch) | |
| tree | b9eaefed1a217442139956e40389edbd495a1488 /.gitreview | |
| parent | c413c5b0ca9f182c03529fcc4af66e3843ec38bf (diff) | |
| download | mediawikicore-6a3cdd15e1b2c066936c5385cace3778f0343f70.tar.gz mediawikicore-6a3cdd15e1b2c066936c5385cace3778f0343f70.zip | |
api: Fix documenation/types related to null and int types
Found by phan strict checks
Change-Id: I2b2ae12ca39d67140f0f3c1cc5066c8ef72716de
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions