Timo Tijhof 925dcac2e7 mediawiki.notification: Remove the 'mediawiki.notify' module ... Follows-up 3a7b14ad (Ib5bc9aab0b1). No longer used anywhere in core, bundled or WMF-deployed extennsions. Also no longer used anywhere in user/site scripts of public WMF wikis. Bug: T233676 Change-Id: Idcadf1d54b9ba5669d6949904f330fe4836fb54f		2020-05-28 17:48:41 +00:00
..
assets	Update you-should-set-a-logo reminder to point to $wgLogos, not $wgLogo	2020-02-24 18:52:07 +00:00
lib	Update OOUI to v0.39.0	2020-05-19 14:42:15 -07:00
src	resources: Bundle ajax patrol and ajax rollback code	2020-05-28 07:22:07 +00:00
Resources.php	mediawiki.notification: Remove the 'mediawiki.notify' module	2020-05-28 17:48:41 +00:00