MediaWiki extension that adds a "print section" button
MediaWiki extension that adds a "print section" button.
