added support for returning Void type, and better PHP code generation