PHP: function declaration