Add a definition for php version 5.4.18.