main/php: cgi.discard_path option is missing from php.ini-production/development
This isn’t an issue in our php 5.3.5+ packages currently available on edge.
It is an issue with upstream, as far as I can tell, so I’ve gone ahead
and reported it upstream:
(from redmine: issue id 515, created on 2011-01-14, closed on 2013-04-25)