PHP7 Extensions

Some small extensions for php7.

Name Changed
Comments for home:buschmann23:php7 0