User blog comment:Random-storykeeper/MediaWiki upgrade/@comment-4997528-20120705180122/@comment-3060206-20120706063429

Seems like they have. I looked at the page and their MediaWiki says 1.19.0.