diff --git a/mozilla/minimo/chrome/locale/en-US/preferences.dtd b/mozilla/minimo/chrome/locale/en-US/preferences.dtd
index 7626ae6dbca..13da1b9466e 100644
--- a/mozilla/minimo/chrome/locale/en-US/preferences.dtd
+++ b/mozilla/minimo/chrome/locale/en-US/preferences.dtd
@@ -42,6 +42,11 @@
 <!ENTITY miscCaption.label           "Random Settings">
 <!ENTITY useSWKeyboard.label         "Use Software Keyboard">
 <!ENTITY dumpJSConsole.label         "Dump JS console at shutdown">
+<!ENTITY useDiskCache.label          "Use Disk Cache">
+<!ENTITY storeCacheStorageCard.label "Store Cache on Storage Card">
+<!ENTITY enablePreFetching.label     "Enable Pre-Fetching">
+<!ENTITY cacheSettings.label         "Cache">
+<!ENTITY cacheSize.label             "Cache Size (KB)">
 
 <!-- Summary Pane -->