mirror of
https://github.com/Universal-Omega/DynamicPageList3
synced 2024-12-04 20:48:35 +00:00
20 lines
280 B
PHP
20 lines
280 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\DynamicPageList3\Heading;
|
|
|
|
class OrderedHeading extends UnorderedHeading {
|
|
/**
|
|
* List(Section) Start
|
|
*
|
|
* @var string
|
|
*/
|
|
public $listStart = '<ol%s>';
|
|
|
|
/**
|
|
* List(Section) End
|
|
*
|
|
* @var string
|
|
*/
|
|
public $listEnd = '</ol>';
|
|
}
|