Ensure that an extension can not be registered several times.