<?php

class Page extends GenericPage {
	// no changes from default
}
?>