Add some core php modules.