HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/PdfExport…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/PdfExport 928eca2e31192c3347742b54a453b78098c8e23f Fix some broken functionality on the special page with HTMLDoc. Update DomPdf and mPdf backends so they use more of the options on the special page form.

Details

Provenance
cneubauerAuthored on
Gerrit Code ReviewCommitted on Jul 11 2012, 12:27 PM
Parents
rMEXT38ddc4fa50f5: Updated mediawiki/extensions Project: mediawiki/extensions/SemanticMediaWiki…
Branches
Unknown
Tags
Unknown
ChangeId
None