[04:42:58] <gry>	 is there a command which reads in a .wiki file (in wiki markup) and outputs html? i know wiki api can do it and i can write a perl script, but i don't know if someone did this before
[06:18:41] <Nemo_bis>	 gry: pandoc
[06:19:13] <gry>	 Nemo_bis: but it won't know what templates exist at English Wikipedia.
[06:19:32] <Nemo_bis>	 gry: well of course; you didn't mention such requirement :) 
[06:19:32] <gry>	 Nemo_bis: simple things like bold and underline will work, but images and {{ambox}} won't.
[06:19:50] <gry>	 Nemo_bis: sorry about that. I hope there is something that does this.
[06:20:00] <gry>	 Nemo_bis: glad to see you also.
[06:20:14] <Nemo_bis>	 Hi there
[07:26:40] <gry>	 in history tab, how do i add 'diff' link next to each revision which provides a diff of it with the immediately prior version?
[07:27:04] <gry>	 i would like to open 3-4 diffs in new tab without doing the select box stuff and clicking 'compare selected revisions' at the top
[08:34:18] <Nemo_bis>	 gry: uh? that's what the "prev" link does
[10:16:41] <gry>	 Nemo_bis: that's absolutely brilliant, it didn't occur to me to even click that. thank you!
[10:21:43] <Nemo_bis>	 gry: glad you asked, then!
[14:53:41] <bd808>	 gry: https://en.wikipedia.org/api/rest_v1/#/Transforms/post_transform_wikitext_to_html -- that might be part of what you are looking for to do wikitext to html expansion. Or https://en.wikipedia.org/wiki/Special:ExpandTemplates or https://www.mediawiki.org/wiki/API:Expandtemplates
[18:51:48] <Nemo_bis>	 Is it expected that Special:ElectronPdf produces PDF where font has totally random sizes which vary from one line to the next even though in the wikitext and HTML they're all the same?
[18:52:00] <Nemo_bis>	 The output of https://meta.wikimedia.org/wiki/EU_policy/Implementation/Guidelines/All/it is deeply puzzling.
[18:53:01] <andre__>	 Nemo_bis: I can only find https://phabricator.wikimedia.org/T209837 so probably worth another bug report
[18:54:26] <juancarlos>	 I like the "This is still happening" comments there. 
[19:38:28] <Nemo_bis>	 thanks andre__ , I'll start with a comment there maybe
[23:56:49] <gry>	 bd808: thank you)
[23:57:34] <bd808>	 we have a lot of cool toys, but finding the one you need when you need it can be a struggle :)