diff --git a/public_html/launch.php b/public_html/launch.php
index d11c75639d..811695d0dd 100644
--- a/public_html/launch.php
+++ b/public_html/launch.php
@@ -803,7 +803,8 @@ function build_form_param($param_id, $param, $is_required) {
) {
continue;
}
- $group_id = substr($allof['$ref'], 14);
+ $offset = isset($cache['schema']['definitions']) ? 14 : 8;
+ $group_id = substr($allof['$ref'], $offset);
$html_id = preg_replace(
'/[^a-z0-9-_]/',
'_',
@@ -919,7 +920,8 @@ function build_form_param($param_id, $param, $is_required) {
) {
continue;
}
- $group_id = substr($allof['$ref'], 14);
+ $offset = isset($cache['schema']['definitions']) ? 14 : 8;
+ $group_id = substr($allof['$ref'], $offset);
if (
isset($cache['schema']['definitions']) &&
(!isset($cache['schema']['definitions'][$group_id]) ||