Some PHP scripts.