throw exception if rename of output file fails
authorAriel Glenn <ariel@users.mediawiki.org>
Thu, 15 Sep 2011 17:18:13 +0000 (17:18 +0000)
committerAriel Glenn <ariel@users.mediawiki.org>
Thu, 15 Sep 2011 17:18:13 +0000 (17:18 +0000)
commit443933fef5fc57b04d1f453158933ac96af57748
tree359730d1ff3ce8957fc48cf809f78c0622e2062c
parentb59e47384615a5fa3c02cbefd360210d8da9eeb2
throw exception if rename of output file fails
includes/Export.php