After following the instructions for how to
install a development environment on my laptop, I got the following error message when trying out the result: Fatal error: Call to undefined function session_start() in
[...]Layer-0__Site_entry_point/Home.php on line 20 I had to install PHP5 extensions to make this go away. Dunno if this is default in Linux, but maybe it should be added to the howto?
-- Victor Engmark Quidquid latine dictum sit, altum videtur - What is said in Latin, sounds profound