Add file-level phpDoc to export.