Thu, Aug 16
Since non-js users don't get colored word based diffs, the background colors in the headers should also be removed.
@Hanna_Petruschat_WMDE We need a RTL version of the first image ( colors flipped and ideally text right aligned ). Thanks :-)!
Wed, Aug 15
A cronjob now regularly pulls the current extension master.
Since toolsforge now supports PHP7.2 ( T188318 ) we can use that instead. I already updated the tool webservice accordingly.
Since toolsforge now supports PHP7.2 ( T188318 ) this is not needed anymore.
Tue, Aug 14
Sanity note: When working on this before implementing the JS edit the following points should be part of T195721
Great to see this moving forward ( so quickly \o/ ) - I just tried it on one of our existing tools ( that we also need to upgrade ). Two things:
Mon, Aug 13
Fri, Aug 10
Hey @Gopavasanth thanks for that ticket. @Volker_E, correct me if I'm wrong, but currently it's intended and common practice for these kind of panes to always have the expand icon. - So we keep it like that :-)
Thu, Aug 9
Wed, Aug 8
Tue, Aug 7
Just for the record here, the bug was introduced with https://gerrit.wikimedia.org/r/#/c/mediawiki/php/wikidiff2/+/404293/