This file is indexed.

/usr/share/webext/https-everywhere/pages/translation.js is in webext-https-everywhere 2018.8.22-1~deb9u1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
"use strict";

document.addEventListener("DOMContentLoaded", () => {
  // Auto-translate all elements with data-i18n attributes
  for (const element of document.querySelectorAll("[data-i18n]")) {
    element.innerText = chrome.i18n.getMessage(element.getAttribute("data-i18n"));
  }
});