There's an ongoing discussion about how PHP return typehints should be formatted in MediaWiki code:
function foo(): int {
or
function foo() : int {
If you are interested, please vote here: https://phabricator.wikimedia.org/T220719
(The permission system for votes is somewhat inflexible. If you want to vote but can't, please leave a comment.)