| commit | db8d8a7b374be417c308c511c5eed73f205a90d9 | [log] [tgz] |
|---|---|---|
| author | jenkins-bot <[email protected]> | Sat Aug 24 13:00:46 2024 +0000 |
| committer | Gerrit Code Review <[email protected]> | Sat Aug 24 13:00:46 2024 +0000 |
| tree | a77f4da509f55b39682c3ef796d5e1eca866d482 | |
| parent | 6d916e267f59f58ecb8e120248bb7543ae031ee1 [diff] | |
| parent | e223e811df8a4f5a2b82fa0690b8fb9f237d320e [diff] |
Merge "build: Update MediaWiki requirement to 1.43"
DynamicPageList is a MediaWiki extension which allows wiki users to create a list of pages that are listed in a set of categories.
Complete documentation is available on the extension page on mediawiki.org.