Simple shopping cart in PHP