wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-04 04:48:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
4139 commits 12 branches 4 tags 129 MiB
Commit graph

2 commits

Author SHA1 Message Date
James D. Forrester 0bfecf9118 build: Provide SVGO for crunching SVG files 
Stolen from Codex's version.

Change-Id: Iee6408c42ae2ef13eeadbbf74ec3132c77974279
 2024-10-10 18:17:01 -04:00
Bartosz Dziewoński 9ded06a655 First-run experience popup for automatic topic subscriptions 
Bug: T262103
Change-Id: I9f9336718ad060d553146c4e27604565ce5822c6
 2021-11-15 22:45:42 +01:00