Good day everyone! After # portsnap fetch extract, I see only PHP 5.3.2 in ports, but no 5.2.x. Is there 5.2.x in ports, or is there other way to get it installed? For MySQL, for example, there are both 5.0.x and 5.1.x in ports.