<?php

class English_Output extends Basic_Output 
{
  // There's nothing to do, since the strings default to English!
}
?>