When viewing any Wikipedia article, it is possible to export the article to a number of formats, including PDF. My instinct told me they would use some TeX system (plainTeX, LaTeX, ConTeXt, etc.), but it doesn't quite fit the bill. The result looks 'nice'-ish, but nowhere near TeX's standards.
So, if not TeX, what does Wikipedia use?