Extension:Wikidiff2/JSON diff format