MediaWiki REL1_41
|
This is the complete list of members for MediaWiki\Settings\Config\MergeStrategy, including all inherited members.
getName() | MediaWiki\Settings\Config\MergeStrategy | |
merge(array $destination, array $source) | MediaWiki\Settings\Config\MergeStrategy | |
newFromName(string $name) | MediaWiki\Settings\Config\MergeStrategy | static |
reverse() | MediaWiki\Settings\Config\MergeStrategy |