<?php  $phpgw_info["server"]["version"] = "0.9.3"; ?>