Function sanitize

api/prettydiff-webtool.ts:3072–3074

(input:string)

            app = function dom_event_execute_app() {
                let output:string = "";
                const sanitize = function dom_event_execute_app_sanitize(input:string):string {
                        return input.replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;");
                    },
                    renderOutput  = function dom_event_execute_app_renderOutput():void {
                        let diffList:HTMLCollectionOf<HTMLOListElement>,
                            button:HTMLButtonElement,