industrial-strength annotations for PHP