<?php

class WikiTranslatorPreformattedMode extends WikiTranslatorMode {



	public function open() {
		return '<pre>';
	}



	public function close() {
		return '</pre>';
	}



	public function parse($ln) {
		return htmlentities(substr($ln, 2), ENT_QUOTES);
	}



	 public static function buildIfMatch($ln, WikiTranslatorToC $toc) {
		if ($ln[0] == ' ' and $ln[1] == ' ') {
			static $m;
			$m or ($m = new WikiTranslatorPreformattedMode());
			return $m;
		}
		return null;
	}



} // class WikiTranslationPreformattedMode

?>