Export Premium names to Drive

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=212509587

java/google/registry/config/RegistryConfigSettings.java

@@ -87,6 +87,7 @@ public class RegistryConfigSettings {
     public String tmchMarksDbUrl;
     public String checkApiServletClientId;
     public String registryAdminClientId;
+    public String premiumTermsExportDisclaimer;
     public String reservedTermsExportDisclaimer;
     public String whoisDisclaimer;
   }