Simple URL shortener using PHP + REDIS