Function plural

api/prettydiff-webtool.ts:3102–3111

(x:number, y:string)

                        };
                        meta.time = (function dom_event_execute_app_renderOutput_proctime() {
                            const plural       = function dom_event_execute_app_renderOutput_proctime_plural(x:number, y:string):string {
                                    let a = x + y;
                                    if (x !== 1) {
                                        a = `${a}s`;
                                    }
                                    if (y !== " second") {
                                        a = `${a} `;
                                    }
                                    return a;
                                },
                                minute       = function dom_event_execute_app_renderOutput_proctime_minute():void {
                                    minutes      = elapsed / 60;
                                    minuteString = plural(minutes, " minute");