jenkins-bot has submitted this change and it was merged.
Change subject: Remove 'direction: ltr' from 'pre' styles
..
Remove 'direction: ltr' from 'pre' styles
The 'direction' and 'unicode-bidi' rules must not be made default.
jenkins-bot has submitted this change and it was merged.
Change subject: Remove 'direction: ltr' from 'pre' styles
..
Remove 'direction: ltr' from 'pre' styles
The 'direction' and 'unicode-bidi' rules must not be made default.
Ori.livneh has uploaded a new change for review.
https://gerrit.wikimedia.org/r/220823
Change subject: Remove 'direction: ltr' from 'pre' styles
..
Remove 'direction: ltr' from 'pre' styles
The 'direction' and 'unicode-bidi'
Bartosz DziewoĆski has uploaded a new change for review.
https://gerrit.wikimedia.org/r/220739
Change subject: Remove 'direction: ltr' from 'pre' styles
..
Remove 'direction: ltr' from 'pre' styles
The 'direction' and 'unicod