formatting for PHP docs