<?php

namespace Wikimedia\WikiPEG;

interface Tracer {
	public function trace( $event );
}