View GitHub Repository model

Schedule Inspection
Subscribe
Completed
Push — master ( 00d5e1...8eb7c7 )
by Christian
02:15
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

 ⇢ A Definition::withExtensions() added
⇢ A Definition::getExtensions() added