Completed
Push — master ( 33073f...6366ee )
by Andreas
03:35
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A classgenerator::write_annotations() added
A translator::to_phptype() added