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.)