that's to manually edit it, in ispconfig i don't know...
on most distros it will be /etc/php.ini
Separate names with a comma.
