1	<?php
2
3	namespace Wikimedia\WikiPEG;
4
5	interface Tracer {
6	public function trace( $event );
7	}