Update: twitter-rss.com seems to be dead. Here’s a version using a different service:
function get_url()
{
return 'http://rss4twitter.appspot.com/getrss?name='.$this->get_option('username');
}
OK, I figured out a messy workaround. According to this support page, Twitter API no longer supports RSS feeds AT ALL. There are third party services that will turn your Twitter into an RSS feed.
In /extensions/twitter/extension.inc.php I altered this function (at line 61):
function get_url()
{
return 'http://www.twitter-rss.com/user_timeline.php?screen_name='.$this->get_option('username');
}
