From 755e8910841c96c8dd806c39924a9e04bb5f5f4b Mon Sep 17 00:00:00 2001
From: Oliver Bock <oliver.bock@aei.mpg.de>
Date: Mon, 28 Sep 2015 12:41:01 +0000
Subject: [PATCH] Add missing include

* tra() is defined in translation.inc
* prefs.inc didn't yet include it in any way
---
 html/inc/prefs.inc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/html/inc/prefs.inc b/html/inc/prefs.inc
index 51e633511be..926baf77f8b 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;