Gets the priority with which @extension was registered.
Return: the priority of @extension
See Implementation
Gets the priority with which @extension was registered.
Return: the priority of @extension