Documentation generated on #REDACTED# by PHP_CodeSniffer #VERSION# '; // Use the correct line endings based on the OS. return str_replace("\n", PHP_EOL, $output).PHP_EOL; } /** * Retrieve the _real_ footer of the HTML page. * * @return string */ public function getRealFooter() { return parent::getFormattedFooter(); } /** * [VISIBILITY WIDENING ONLY] Print the header of the HTML page. * * @return void */ public function printHeader() { parent::printHeader(); } /** * [VISIBILITY WIDENING ONLY] Print the table of contents for the standard. * * @return void */ public function printToc() { parent::printToc(); } /** * [VISIBILITY WIDENING ONLY] Print the footer of the HTML page. * * @return void */ public function printFooter() { parent::printFooter(); } }