A few small php goodies