wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-02 19:26:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
1756 commits 12 branches 16 tags 68 MiB
Commit graph

2 commits

Author SHA1 Message Date
Piotr Miazga c0052fcb08 Re-enable MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic sniff 
Bug: T168384
Change-Id: I4d4681121df974a8471d7c4c8df8a6158f8df22a
 2017-07-13 21:14:29 +02:00
Piotr Miazga 8bba8c1417 Send disabled event when user disables Page Preview 
Changes:
 - introduced new UserPreferencesChangeHandler class that listens to
 PreferencesFormPreSave hook
 - introduced wrapper for EventLogging extension plus NullLogger when
 EventLogging extension is not availalbe
 - when user changes PagePreview to disabled system will trigger
 disabled event

Bug: T167365
Change-Id: I63faecb0495eb30a9fc2763e7ddf3944baf7f55a
 2017-07-12 15:59:42 +02:00