m |
|||
| Line 9: | Line 9: | ||
# [[stampit]] — to stamp pdf files after their name. | # [[stampit]] — to stamp pdf files after their name. | ||
# [[sanitize]] — to remove accents & special characters from filenames. | # [[sanitize]] — to remove accents & special characters from filenames. | ||
| + | |||
| + | == Pretty print == | ||
| + | |||
| + | We use [http://www.mediawiki.org/wiki/User:Gri6507 Paul Grinberg]'s [http://www.mediawiki.org/wiki/Extension:Code Code extension] for [[Mediawiki]] to pretty-print source through [http://qbnz.com/highlighter/ GeSHi] on our web. | ||
This page is still largely in progress.
This is a list of code we make available with no guarantee, beside the one that it did once work for its intended purpose.
Beware, version below one (e.g., v°0.1) are beta-version. It might be that's all you find here.
We use Paul Grinberg's Code extension for Mediawiki to pretty-print source through GeSHi on our web.