gpl-libstdc -plesk-10.3.0(phpman.html) - phpMan