2014-01-15 - production
21:31	<hashar>	Jenkins: generation of MediaWiki documentation with doxygen got broken since Zuul upgrade. Fix: {{gerrit|107718}}	[production]