package mediawiki.event;

public interface CompletedListener {

	public void completed();
}