Update documentation for PhpFileExtensions