diff options
Diffstat (limited to 'modules/pref-prefs.php')
-rw-r--r-- | modules/pref-prefs.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/pref-prefs.php b/modules/pref-prefs.php index a09c7f20c..3cd557d97 100644 --- a/modules/pref-prefs.php +++ b/modules/pref-prefs.php @@ -129,7 +129,7 @@ $help_text = db_fetch_result($result, 0, "help_text"); print $help_text; } else { - print "Unknown option: $pref_name"; + printf(__("Unknown option: %s"), $pref_name); } } else if ($subop == "change-email") { |