Removed (Beta) keyword from Schema Diff and High Contrast theme.

docs/en_US/preferences.rst

@@ -188,7 +188,7 @@ Expand the *Miscellaneous* node to specify miscellaneous display preferences.
 * Use the *Themes* drop-down listbox to select the theme for pgAdmin. You'll also get a preview just below the
   drop down. Note that, to apply the theme you need to refresh the pgAdmin page. You can also submit your
   own themes, check `here <https://git.postgresql.org/gitweb/?p=pgadmin4.git;a=blob_plain;f=README>`_ how.
-  Currently we support Standard, Dark and High Contrast (Beta) theme.
+  Currently we support Standard, Dark and High Contrast theme.
 
 The Paths Node
 **************

web/pgadmin/tools/schema_diff/static/js/schema_diff.js

@@ -37,7 +37,7 @@ define('pgadmin.schemadiff', [
         applies: ['tools'],
         callback: 'show_schema_diff_tool',
         priority: 1,
-        label: gettext('Schema Diff (Beta)'),
+        label: gettext('Schema Diff'),
         enable: true,
       }];
 
@@ -85,7 +85,7 @@ define('pgadmin.schemadiff', [
       })
         .done(function(res) {
           self.trans_id = res.data.schemaDiffTransId;
-          res.data.panel_title = gettext('Schema Diff (Beta)'); //TODO: Set the panel title
+          res.data.panel_title = gettext('Schema Diff'); //TODO: Set the panel title
           // TODO: Following function is used to test the fetching of the
           // databases this should be moved to server selection event later.
           self.launch_schema_diff(res.data);

web/webpack.config.js

@@ -170,10 +170,6 @@ fs.readdirSync(all_themes_dir).map(function(curr_dir) {
 
     let disp_name = curr_dir;
 
-    if(curr_dir == 'high_contrast') {
-      disp_name = curr_dir + ' (Beta)';
-    }
-
     pgadminThemes[curr_dir] = {
       /* For now lets keep it as beta release */
       disp_name: disp_name,