FWIW, the relevant Mozilla change in the surrounding code is https://bugzilla.mozilla.org/show_bug.cgi?id=1428938 .
FWIW, the relevant Mozilla change in the surrounding code is https:/ /bugzilla. mozilla. org/show_ bug.cgi? id=1428938 .