BasicVersion in PHP