php/php-src — pull request #479 by kaplanlior (2013-10-04 21:43:29+00:00)
Title: Replace invalid code with a proper #error

This code creates a nasty error as mentioned in bugs #31131, #37062
Patch taken from Debian's PHP package: 044-strtod_arm_fix