Add PhpFileExtensions Configuration Option

Fix for issue #1075