Fix up the phpini code