Completed
Pull Request — master (#18)
by no
05:18 queued 02:37
created

No notable changes

There were no notable changes in the changeset which was inspected.

10
▶   ± 0
Head
Jeroen De Dauw  
Merge pull request #18 from wmde/php55
1 more commit
Base
Marius Hoch  
Merge pull request #16 from wmde/classLevel