global $gettext_php_domain, $gettext_php_dir, $gettext_php_loaded,
$gettext_php_translateStrings, $gettext_php_loaded_language,
$gettext_php_short_circuit;
if (! isset($gettext_php_loaded)) {
$gettext_php_loaded = false;
global $gettext_php_domain, $gettext_php_dir, $gettext_php_loaded,
$gettext_php_translateStrings, $gettext_php_loaded_language,
$gettext_php_short_circuit;
if (! isset($gettext_php_loaded)) {
$gettext_php_loaded = false;