if (isset($page)) { $form_state->
setRedirect( 'locale.translate_page',
[],
['page' =>
$page] );
} if ($updated) { // Clear cache and force refresh of JavaScript translations.
_locale_refresh_translations([$langcode],
$updated);
_locale_refresh_configuration([$langcode],
$updated);
} }}