Function id

api/prettydiff-webtool.ts:16–21

(x:string)

(function dom_init():void {
    "use strict";
    const id = function dom_id(x:string):any {
            if (document.getElementById === undefined) {
                return;
            }
            return document.getElementById(x);
        },
        page = (function dom__dataPage():HTMLDivElement {
            const divs:HTMLCollectionOf<HTMLDivElement> = document.getElementsByTagName("div");
            if (divs.length === 0) {