I'll have to check it in MW PHP code convention because I'm not sure either :/