From 94ffb50e047c47e37b1992ca8a9cecf8d7bcf255 Mon Sep 17 00:00:00 2001
From: "jeremy@jermolene.com" <jeremy@jermolene.com>
Date: Wed, 25 Nov 2020 12:33:39 +0000
Subject: [PATCH] Fix dark mode event handling

Previous code worked but this matches the spec, and works on iOS
---
 core/modules/info/platform.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/modules/info/platform.js b/core/modules/info/platform.js
index a73a5e5df..b9c140956 100644
--- a/core/modules/info/platform.js
+++ b/core/modules/info/platform.js
@@ -40,7 +40,7 @@ exports.getInfoTiddlerFields = function(updateInfoTiddlersCallback) {
  		var mqList = window.matchMedia("(prefers-color-scheme: dark)"),
  			getDarkModeTiddler = function() {return {title: "$:/info/darkmode", text: mqList.matches ? "yes" : "no"};};
  		infoTiddlerFields.push(getDarkModeTiddler());
- 		mqList.addEventListener("change", function(event) {
+ 		mqList.addListener(function(event) {
  			updateInfoTiddlersCallback([getDarkModeTiddler()]);
  		});
 		// Language