wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-18 11:02:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
2271 commits 13 branches 4 tags 131 MiB
Commit graph

2 commits

Author SHA1 Message Date
Bartosz Dziewoński 5945a4a0eb Fix some typos in comments 
Change-Id: I699d9d105b8706cef0800ccc086cde687de54078
 2022-02-04 20:36:28 +01:00
Ed Sanders dd9d37b555 Create MemoryStorage wrapper around mw.SafeStorage 
This means we can guarantee we will be able to recover
auto-saves if we don't reload the page.

Change-Id: Ic867ae6df0c949f35cb32ec4b835688778db29ef
 2022-02-02 14:59:47 +00:00