No matches were found for subject:"\[PHP\-DEV\] how to add annotations to an extension function"