Source for file Observer.php

<?php
/**
 * @todo Establish what happened to the old HTML_Progress2_Observer - did it ever get committed?
 */
class HTML_Progress2_Observer {}