check the checkpoint related options only if we specified checkpoints, duh
authorAriel Glenn <ariel@users.mediawiki.org>
Mon, 29 Aug 2011 22:48:18 +0000 (22:48 +0000)
committerAriel Glenn <ariel@users.mediawiki.org>
Mon, 29 Aug 2011 22:48:18 +0000 (22:48 +0000)
commit409725f43e77c71f9c7b6b7a47e50dcb9bbfea48
tree9dda3245cc019c0524ef85f693ca9bf1dc16c2db
parentef2e10fecbeb321102d4e1699b90d605d8f84820
check the checkpoint related options only if we specified checkpoints, duh
maintenance/dumpTextPass.php