diff --git a/mobile/android/base/locales/en-US/android_strings.dtd b/mobile/android/base/locales/en-US/android_strings.dtd index 9d65b4dc47fa..e1a964bf5a5e 100644 --- a/mobile/android/base/locales/en-US/android_strings.dtd +++ b/mobile/android/base/locales/en-US/android_strings.dtd @@ -104,6 +104,7 @@ it is applicable. --> + diff --git a/mobile/android/base/resources/xml/preferences_devtools.xml b/mobile/android/base/resources/xml/preferences_devtools.xml index 5eaa8a8a9453..efc0a2f52b82 100644 --- a/mobile/android/base/resources/xml/preferences_devtools.xml +++ b/mobile/android/base/resources/xml/preferences_devtools.xml @@ -8,6 +8,9 @@ android:title="@string/pref_category_devtools" android:enabled="false"> + + diff --git a/mobile/android/base/strings.xml.in b/mobile/android/base/strings.xml.in index 6f223d67a3ab..d769ff8340e6 100644 --- a/mobile/android/base/strings.xml.in +++ b/mobile/android/base/strings.xml.in @@ -126,6 +126,7 @@ &locale_system_default; &pref_category_devtools; + &pref_developer_paint_flashing; &pref_developer_remotedebugging; &pref_category_home;