handle naming checkpoint file with first/last pageID when the file is empty
authorAriel Glenn <ariel@users.mediawiki.org>
Fri, 23 Sep 2011 06:15:20 +0000 (06:15 +0000)
committerAriel Glenn <ariel@users.mediawiki.org>
Fri, 23 Sep 2011 06:15:20 +0000 (06:15 +0000)
commit2ec322f6c28eda03842a41413ec03bca9d97ba6d
treef61ff7b2573f60be6fc0a78e1b7be2197400fd20
parentaf34fe6360e31a8c0f391bbdfc136598e8871f0b
handle naming checkpoint file with first/last pageID when the file is empty
maintenance/dumpTextPass.php