mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-12-03 18:56:07 +00:00
11 lines
195 B
PHP
11 lines
195 B
PHP
|
<?php
|
||
|
|
|
||
|
|
class ALTree {
|
||
|
|
public $sections;
|
||
|
|
|
||
|
|
function __construct();
|
||
|
|
function getSection( $section_header );
|
||
|
|
function addSection( $section, $next_section_header = null );
|
||
|
|
function toString();
|
||
|
|
}
|