added php/short.php. (but not so short.)