Removed puppet module PHP since it's not used anymore