* (bug 2046) Make the wiki work on PHP5 again