2020-11-22 20:02:14 +00:00
|
|
|
<?php
|
|
|
|
|
2022-03-13 19:57:34 +00:00
|
|
|
namespace MediaWiki\Extension\DynamicPageList3\Heading;
|
2020-11-22 20:02:14 +00:00
|
|
|
|
|
|
|
class UnorderedHeading extends Heading {
|
|
|
|
/**
|
|
|
|
* List(Section) Start
|
|
|
|
*
|
2021-02-22 23:48:01 +00:00
|
|
|
* @var string
|
2020-11-22 20:02:14 +00:00
|
|
|
*/
|
|
|
|
public $listStart = '<ul%s>';
|
|
|
|
|
|
|
|
/**
|
|
|
|
* List(Section) End
|
|
|
|
*
|
2021-02-22 23:48:01 +00:00
|
|
|
* @var string
|
2020-11-22 20:02:14 +00:00
|
|
|
*/
|
|
|
|
public $listEnd = '</ul>';
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Item Start
|
|
|
|
*
|
2021-02-22 23:48:01 +00:00
|
|
|
* @var string
|
2020-11-22 20:02:14 +00:00
|
|
|
*/
|
|
|
|
public $itemStart = '<li%s>';
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Item End
|
|
|
|
*
|
2021-02-22 23:48:01 +00:00
|
|
|
* @var string
|
2020-11-22 20:02:14 +00:00
|
|
|
*/
|
|
|
|
public $itemEnd = '</li>';
|
|
|
|
}
|