DumpReadingException.php

<?php

namespace Wikibase\JsonDumpReader;

use RuntimeException;

/**
 * Package public
 * @since 1.0.0
 *
 * @licence GNU GPL v2+
 * @author Jeroen De Dauw < jeroendedauw@gmail.com >
 */
class DumpReadingException extends RuntimeException {

}