--- bootstrap.inc.1	2005-01-18 08:11:58.000000000 +0100
+++ bootstrap.inc	2005-01-24 20:38:55.000000000 +0100
@@ -152,6 +152,7 @@ function variable_init($conf = array()) 
 function variable_get($name, $default) {
   global $conf;
 
+  $name = module_invoke('i18n','variable'). $name;
   return isset($conf[$name]) ? $conf[$name] : $default;
 }
 
@@ -167,6 +168,7 @@ function variable_get($name, $default) {
 function variable_set($name, $value) {
   global $conf;
 
+  $name = module_invoke('i18n','variable'). $name;
   db_query("DELETE FROM {variable} WHERE name = '%s'", $name);
   db_query("INSERT INTO {variable} (name, value) VALUES ('%s', '%s')", $name, serialize($value));
   cache_clear_all('variables');
@@ -183,6 +185,7 @@ function variable_set($name, $value) {
 function variable_del($name) {
   global $conf;
 
+  $name = module_invoke('i18n','variable'). $name;
   db_query("DELETE FROM {variable} WHERE name = '%s'", $name);
   cache_clear_all('variables');