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