On Mon, Jun 4, 2018 at 3:22 PM, Brian Wolff wrote:
> I dont view the parent as what revision came first but what revision was
> edited to make this revision (i.e. where the current revision was "forked"
> off from)
>
Although that implies that an automatically-resolved edit conflict should
have
> > Excellent, thank you! It would be particularly interesting to know what
> > assumptions you make about the semantics of rev_parent_id. E.g. there
> are three
> > revisions, A, B, and C, and revision B gets romoved - what should
> revision C's
> > parent be?
> >
> > Similarly, when revision X
On Monday, June 4, 2018, Daniel Kinzler wrote:
> Am 04.06.2018 um 20:54 schrieb Leon Ziemba:
>>> ... the size differences shown on the history and contributions pages,
>> which is the only thing that rev_parent_id is used for
>>
>> This may be true in MediaWiki but not so much for external tools.
Am 04.06.2018 um 20:58 schrieb James Hare:
> To add to Leon's use case, I would argue that it may be one use case but
> it's a pretty visible one to active contributors who are familiar with the
> history page. It may be worth clarifying whether this is a backend change
> that would keep the
Am 04.06.2018 um 20:54 schrieb Leon Ziemba:
>> ... the size differences shown on the history and contributions pages,
> which is the only thing that rev_parent_id is used for
>
> This may be true in MediaWiki but not so much for external tools. I just
> wanted to preemptively say this. I'll be
On Mon, Jun 4, 2018 at 11:54 AM, Leon Ziemba
wrote:
> > ... the size differences shown on the history and contributions pages,
> which is the only thing that rev_parent_id is used for
>
> This may be true in MediaWiki but not so much for external tools. I just
> wanted to preemptively say this.
> ... the size differences shown on the history and contributions pages,
which is the only thing that rev_parent_id is used for
This may be true in MediaWiki but not so much for external tools. I just
wanted to preemptively say this. I'll be joining the IRC discussion to
share more :)
~Leon
On
As mentioned in the TechCom radar email last week, there will be a public IRC
discussion on the future of rev_parent_id on Wednesday, 2018-06-06 in the
#wikimedia-office channel at 2pm PST(22:00 UTC, 23:00 CET).
The RFCs original title was "Use ar_page_id to determine the parent IDs for