Added SPL_Types PHP extension
Merged master into feature-spl-types