Simple url shortener written in PHP