Replace `integer` with `int` in PHP documentation
authorMatthias Schmidt <gravatronics@live.com>
Tue, 19 Jan 2021 06:37:32 +0000 (07:37 +0100)
committerMatthias Schmidt <gravatronics@live.com>
Tue, 19 Jan 2021 06:37:32 +0000 (07:37 +0100)

No differences found