Index: mobile/android/base/resources/xml-v11/preference_headers.xml |
diff --git a/mobile/android/base/resources/xml-v11/preference_headers.xml b/mobile/android/base/resources/xml-v11/preference_headers.xml |
index 87f28b07a874c175f7ae4d3375970ca32465736e..8fd2c3f4661ff316fc9fc5eab23f0fc1f30994b1 100644 |
--- a/mobile/android/base/resources/xml-v11/preference_headers.xml |
+++ b/mobile/android/base/resources/xml-v11/preference_headers.xml |
@@ -29,6 +29,12 @@ |
</header> |
<header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
+ android:title="@string/abb_pref_header_adblocking"> |
+ <extra android:name="resource" |
+ android:value="preferences_abb_abp"/> |
+ </header> |
+ |
+ <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
android:title="@string/pref_header_language" |
android:id="@+id/pref_header_language"> |
<extra android:name="resource" |
@@ -41,11 +47,6 @@ |
android:value="preferences_vendor"/> |
</header> |
- <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
- android:title="@string/pref_header_devtools" |
- android:id="@+id/pref_header_devtools"> |
- <extra android:name="resource" |
- android:value="preferences_devtools"/> |
- </header> |
+ <!-- Removed devtools as part of https://issues.adblockplus.org/ticket/2475 --> |
</preference-headers> |