Simple URL shortener written in PHP.