php.ini: make post_max_size configurable