| 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> |