User blog comment:TOR/MediaWiki Upgrade/@comment-865752-20120710143120/@comment-1863391-20120710144638

AWB says there are 10,887 files on the wiki, so the old number must have been off.