Hi,

If I'm logged on to wikipedia.org I see an option PDF Version. I don't see this option at mediawiki.org or if I logged off from wikipedia.org.

Is there an extension implementing this feature?

Peter Verhoeven

This message and attachment(s) are intended solely for use by the addressee and may contain information that is privileged, confidential or otherwise exempt from disclosure under applicable law.

If you are not the intended recipient or agent thereof responsible for delivering this message to the intended recipient, you are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited.

If you have received this communication in error, please notify the sender immediately by telephone and with a 'reply' message.

Thank you for your co-operation.