function foo(): bar { }
Or
function foo() : bar { }
I think I've seen both... We should decide on one, document it on https://www.mediawiki.org/wiki/Manual:Coding_conventions/PHP and probably have MediaWiki-Codesniffer enforce/fix the style whichever we we decide