fix: rename request snippets configuration props (#7535)

Closes #7534

Author: mathis-m

src/core/index.js

@@ -69,7 +69,7 @@ export default function SwaggerUI(opts) {
         },
       },
       defaultExpanded: true,
-      languagesMask: null, // e.g. only show curl bash = ["curl_bash"]
+      languages: null, // e.g. only show curl bash = ["curl_bash"]
     },
     supportedSubmitMethods: [
       "get",

src/core/plugins/request-snippets/selectors.js

@@ -10,7 +10,7 @@ export const getGenerators = createSelector(
       .get("languages")
     const generators = state
       .get("generators", Map())
-    if(!languageKeys) {
+    if(!languageKeys || languageKeys.isEmpty()) {
       return generators
     }
     return generators