Use exact counts in updateCollation.php
authorAryeh Gregor <simetrical@users.mediawiki.org>
Tue, 3 Aug 2010 21:11:16 +0000 (21:11 +0000)
committerAryeh Gregor <simetrical@users.mediawiki.org>
Tue, 3 Aug 2010 21:11:16 +0000 (21:11 +0000)
commit34db6f4b6f7c6622f392e8b6bff3d7657341618e
tree9cab708d60623583d674cad8711d00748e96755d
parent5a94b9684a288c7631f60eb1065b30fe75c9ac82
Use exact counts in updateCollation.php

There's no reason to avoid a one-time COUNT(*), is there?  It will be
free if collations are actually up-to-date, because the column is
indexed.
maintenance/updateCollation.php