[00:00:03] <HeXiLeD>	 rm -rf tmp/ solved it.
[00:13:13] <Abulafia>	 Good to know! Glad you figured it out.
[05:33:27] <pragomer>	 hello. I am new to mediawiki. Is it possible to batch export every single post as a seperate html file, or if not, all in one big html file?
[06:57:12] <pragomer>	 hello. how can I export all articles of mediawiki to any export format (pdf, html, etc) ?
[18:19:03] <ningu>	 I am trying to call invalidateCache() on a file in a mainetenance script. it seems to not be committing to the database -- what might I be doing wrong?
[19:34:12] <Baustralia>	 Is anybody proficient in LUA
[19:53:12] <milkii>	 anyone know if OpenID is working with the latest MW? have just upgraded on Arch Linux, reset the OpenID and Auth folders, but getting an error. T229368.
[19:53:13] <stashbot>	 T229368: SpecialOpenIDLogin.body.php:152 "Class 'LoginForm' not found" - https://phabricator.wikimedia.org/T229368