HTMLets

The HTMLets-Extension is available on this wiki. This extension allows HTML snippets contained in files on the server to be included on wiki pages. This way, HTML otherwise not allowed on wiki pages may be used. New HTMLets can be installed by Toolserver admins upon request.

Snippet files for HTMLets are located at /opt/local/htmlets/ on web.toolserver.org (that is, the "web" zone on amaranth).

Common HTML snippets for use by user tools should be installed at /usr/local/share/htmlets on www.toolserver.org (i.e. wolfsbane).