wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 09:43:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Ed Sanders 501046f38c Trim whitespace from truncated heading titles in IDs 
Bug: T356196
Change-Id: Iddcda0cee624fda7f78a05e0a3d70eaee2635da9
2024-05-01 14:20:12 +01:00
..
FixTrailingWhitespaceIds.php Trim whitespace from truncated heading titles in IDs 2024-05-01 14:20:12 +01:00
NewTopicOptOutActiveUsers.php Use namespaced Wikimedia\Rdbms\IDatabase 2023-08-20 14:48:33 +02:00
persistRevisionThreadItems.php Remove now redundant PHPDoc blocks 2024-03-10 23:53:04 +00:00