RequestListener.java

package mediawiki.event;


public interface RequestListener {

	public void requestPerformed(RequestEvent r);
}