Thread:Project:Support desk/Print/export

Hello, on www.mediawiki.org in the sitebar there is Print/export. What extensions are these?

Sorry for my bad english. Ute-Maria Meiser