diff --git a/html/inc/prefs.inc b/html/inc/prefs.inc
index 51e633511b..926baf77f8 100644
--- a/html/inc/prefs.inc
+++ b/html/inc/prefs.inc
@@ -40,6 +40,7 @@
 // and also to/from HTML form elements
 
 include_once("../inc/prefs_util.inc");
+include_once("../inc/translation.inc");
 
 global $cpu_prefs;
 global $disk_prefs;