If no constructor body is specified in PHP, do not create a constructor function