Method replace_all

bootstrap-js/tokenscript-bootstrap.js:1010–1012

(str,src, dst)

        replace all "src" sub-strings with "dst"
         */
        replace_all(str,src, dst){
            return str.split(src).join(dst);
        }

        decodeHtml(html) {
            var txt = document.createElement("textarea");