mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-12-18 09:11:42 +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();
|
|
}
|