PHP: function syntax