A bare-bones URL shortener, written in PHP.