diff options
Diffstat (limited to 'private/session-noconf.php')
| -rw-r--r-- | private/session-noconf.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/private/session-noconf.php b/private/session-noconf.php index 37ff9e7..844a640 100644 --- a/private/session-noconf.php +++ b/private/session-noconf.php @@ -21,6 +21,7 @@ if ($_SERVER['REMOTE_ADDR'] !== "127.0.0.1" && $_SERVER['REMOTE_ADDR'] !== "::0" $_USER = $_PROFILE['login'];
$_SUID = $_PROFILE['login'];
$_FULLNAME = $_PROFILE['name'];
+ $_FRENCH = $_PROFILE['profile']['locale']['name'] === "fr";
} else {
header("Location: https://" . $_CONFIG["Global"]["domain"] . "/login/?r=" . urlencode("https://$_SERVER[HTTP_HOST]$_SERVER[REQUEST_URI]"));
die();
@@ -37,3 +38,13 @@ if (isset($_PROFILE["projectRoles"]) && is_array($_PROFILE["projectRoles"]) && i } else {
$_ADMIN = false;
}
+
+function l($fr, $en) {
+ global $_FRENCH;
+
+ if ($_FRENCH) {
+ return $fr;
+ } else {
+ return $en;
+ }
+}
\ No newline at end of file |