A short introduction to PHP