InnerTextを使用しているページを見るためのGreaseMonkeyユーザースクリプト
// ==UserScript==
// @name InnerTextHandler.user.js
// @namespace example.com
// @include *
// @version 1.0
// @grant none
// ==/UserScript==
var dummy = document.createElement("div");
if (dummy.innerText == undefined) {
Object.defineProperty(HTMLElement.prototype, "innerText", {
get: function() { return this.textContent },
set: function(v) { this.textContent = v; }
});
};