Item15094: don't patch scripts from compare to diff by default

pencil
Priority: Enhancement
Current State: Closed
Released In: n/a
Target Release:
Applies To: Extension
Component: DiffPlugin
Branches: master
Reported By: MichaelDaum
Waiting For:
Last Change By: MichaelDaum
... as this is yet another unecessary performance killer once your scripts use diff anyway.

also: some css and translation fixes

-- MichaelDaum - 28 Apr 2022

 
Topic revision: r1 - 28 Apr 2022, MichaelDaum
The copyright of the content on this website is held by the contributing authors, except where stated elsewhere. See Copyright Statement. Creative Commons License    Legal Imprint    Privacy Policy