gpl-libstdc -plesk-12.2.0(top10.html) - phpMan