diff options
author | Thiemo Kreuz <thiemo.kreuz@wikimedia.de> | 2021-08-09 09:26:23 +0200 |
---|---|---|
committer | Thiemo Kreuz <thiemo.kreuz@wikimedia.de> | 2021-08-09 09:26:23 +0200 |
commit | 69242b0876c43db83c8f7005962a5b879944164c (patch) | |
tree | 8a484c4d08bb9b23783fba24dd9daf8600ba40bd /includes/site | |
parent | b9c68590d68cace67254b4635847d6cbb1c7248a (diff) | |
download | mediawikicore-69242b0876c43db83c8f7005962a5b879944164c.tar.gz mediawikicore-69242b0876c43db83c8f7005962a5b879944164c.zip |
Various updates and fixes to PHPDoc documentation
Some minor updates I collected in my local dev environment the
past months.
Change-Id: I30d5339bc262d54ba76e2860a3a3e9e5f002fdc3
Diffstat (limited to 'includes/site')
-rw-r--r-- | includes/site/Site.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/site/Site.php b/includes/site/Site.php index 3678d7d2c9e1..66577b7233ad 100644 --- a/includes/site/Site.php +++ b/includes/site/Site.php @@ -92,7 +92,7 @@ class Site implements Serializable { * * @since 1.21 * - * @var array[]|false + * @var string[][]|false */ protected $localIds = []; @@ -484,7 +484,7 @@ class Site implements Serializable { * * @since 1.21 * - * @return string|null + * @return int|null */ public function getInternalId() { return $this->internalId; |