Add some PHP modules