def _href()

in source/ext/extref.py [0:0]


    def _href(self):
        if 'url' in self.options.keys():
            return self.options['url']
        return self._ref()