A basic URL shortener application in PHP