[07:38:48] <legoktm>	 MaxSem, TimStarling: does error.html belong in the wmerrors repo/package? or should it be maintained somewhere else that's easier to update like puppet or mw-config?
[08:08:35] <legoktm>	 I created #wmerrors on phab btw
[08:18:31] <_joe_>	 It depends on its function
[10:06:45] <TimStarling>	 legoktm: it should be in mediawiki-config/errorpages, although we could leave an example or default error page behind
[10:07:24] <TimStarling>	 actually the error.html that's there can't just be copied in, because the style is out of date
[10:07:45] <TimStarling>	 it would probably make more sense to use hhvm-fatal-error.php as a starting point for the new one