Use php::ini resource type

This change revises the Puppet code introduced by change I1340609de, making it
use the php::ini resource type rather than doing things the hard way.

Change-Id: Idf51b30c9f9db2a429dac8cb7524f7d6432210fe