dispose method

void dispose()

Disposes this PageProvider, freeing any resources it might've occupied.

Implementation

void dispose() {
  // No-op.
}