As you may know from former posts, this blog (WordPress-powered) and a few MediaWiki sites that I have use the excellent PHP-based GeSHi syntax highlighter. Today I was writing a post that includes some Icinga (Nagios) configuration snippets. After a quick search, I found a Nagios language file …
more ...While working on a particularly long documentation page in MediaWiki today, I came by a convenient little extension:
It adds a nice little “top” link next to the “edit” link in each section header. Very useful for long pages.
more ...Well, finals season is upon me. That’s probably why I haven’t been posting much lately (I haven’t even been checking Google Reader - I’ll have to delete a few thousand entries when I get back into the swing of things). I’ve been pretty busy, between studying …
more ...Website - In personal news, I’ve finished migrating all of the information content of JasonAntman.com to a wiki, based on MediaWiki. I’m still getting some kinks ironed out, and working on customization, but it seems to be coming along very well. It’s wonderfully easy to update information …
more ...