From 1cb48fa27335d7d7f45f8c5b3039a5de14ee0371 Mon Sep 17 00:00:00 2001
From: Jorg K <jorgk@jorgk.com>
Date: Sun, 3 Nov 2019 23:20:17 +0100
Subject: [PATCH] Bug 1593546 - Port bug 1525175: Adapt to changed ID of
 add-ons search box. rs=bustage-fix

---
 mail/base/content/aboutAddonsExtra.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mail/base/content/aboutAddonsExtra.js b/mail/base/content/aboutAddonsExtra.js
index 7ef7d9626d..827605fa5e 100644
--- a/mail/base/content/aboutAddonsExtra.js
+++ b/mail/base/content/aboutAddonsExtra.js
@@ -59,7 +59,8 @@ var extensionsNeedingRestart = new Set();
       .insertBefore(hbox, document.getElementById("categories"));
 
     // Fix the "Search on addons.mozilla.org" placeholder text in the searchbox.
-    let textbox = document.getElementById("header-search");
+    let browser = document.getElementById("html-view-browser");
+    let textbox = browser.contentDocument.getElementById("search-addons");
     let placeholder = textbox.getAttribute("placeholder");
     placeholder = placeholder.replace(
       "addons.mozilla.org",