PHP URL shortener, because there aren't enough yet.