Page MenuHomePhabricator

metadata for diff-page in JS output
Closed, DeclinedPublic


the diff-page is relativly difficult to read per machine, especially as it's layout isn't static, but changes depending on who made the edit, or if it's the latest edit etc...

So I propose a JS variable for diff pages, to ease up the parsing. it doesn't need to include much, but at a minimum the exact ids.

The syntax would be like:
wgMetadata = {oldid:150446343, newid:150446351};
(at current time that is)

Version: unspecified
Severity: enhancement



Event Timeline

bzimport raised the priority of this task from to Low.Nov 21 2014, 9:50 PM
bzimport added a project: MediaWiki-Parser.
bzimport set Reference to bz10877.
bzimport added a subscriber: Unknown Object (MLST).

robchur wrote:

Seems to me that it would be better to offer machine-readable diffs, or use external diffing in that situation, since the diff isn't supposed to be read by a machine.

This bug is irrelevant since long time back