Help talk:Page ratings

Rating Extension
What extension is used for page ratings on Wikia? If it's something Wikia developed, is there any open source available? (Prodoom 21:50, February 9, 2010 (UTC))