1<?php 2/** 3 * Header element component for the adhoctags plugin 4 * 5 * Defines <aside> ... </aside> syntax 6 * More info: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/header 7 * 8 * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 9 * @author Anika Henke <anika@selfthinker.org> 10 * @author Sascha Leib <sascha.leib(at)kolmio.com> 11 */ 12 13class syntax_plugin_adhoctags_header extends syntax_plugin_adhoctags_abstractblock { 14 15 protected $tag = 'header'; 16 17}