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 /includes/api/ApiComparePages.php | |
| 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 'includes/api/ApiComparePages.php')
| -rw-r--r-- | includes/api/ApiComparePages.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/api/ApiComparePages.php b/includes/api/ApiComparePages.php index 3a728d3acee5..1b8974ada89d 100644 --- a/includes/api/ApiComparePages.php +++ b/includes/api/ApiComparePages.php @@ -40,7 +40,7 @@ class ApiComparePages extends ApiBase { /** @var SlotRoleRegistry */ private $slotRoleRegistry; - /** @var Title|false */ + /** @var Title|null|false */ private $guessedTitle = false; private $props; |