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