Annotations for PHP