A basic URL shortener developed in PHP