Hi all
I have written a small script that pulls the content of the toolserver home page
<http://toolserver.org/> from our wiki. It's not live yet, but you can test it
at <http://toolserver.org/newindex.php>. The page's content is maintained on
<https://wiki.toolserver.org/view/Toolserver:Homepage> which can be edited by
admins. I hope this will make it easier to maintain the home page's content.
I think the same system can be applied to other pages we might want to maintain
in the wiki but present independantly.
Any comments and ideas are welcome, of course.
-- daniel