From c8f4d764eae2248f8e990493f0f1a9df2a8fe586 Mon Sep 17 00:00:00 2001
From: hackademix <giorgio@maone.net>
Date: Thu, 25 Mar 2021 23:30:01 +0100
Subject: [PATCH] HTML event atoms reorder in Mozilla sources.

---
 html5_events/html5_events_archive.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/html5_events/html5_events_archive.txt b/html5_events/html5_events_archive.txt
index dfdcd74..2bd5289 100644
--- a/html5_events/html5_events_archive.txt
+++ b/html5_events/html5_events_archive.txt
@@ -239,9 +239,7 @@ onlostpointercapture
 ondevicemotion
 ondeviceorientation
 onabsolutedeviceorientation
-ondeviceproximity
 onmozorientationchange
-onuserproximity
 ondevicelight
 ondevicechange
 onmozvisualresize
@@ -363,6 +361,8 @@ onupdate
 onupdateend
 onaddsourcebuffer
 onremovesourcebuffer
+ondeviceproximity
+onuserproximity
 onsourceclosed
 onmozkeydownonplugin
 onmozkeyuponplugin