Make use of the custom php.ini file for PHP54.

Change-Id: Ib10d0cee327c0fcdf0d789c61d14c02dc8f4fb4d