From 2952dadb9ff33cf6a7de3d70091bb166d1b19ea3 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Sun, 6 Mar 2022 01:50:36 +0000
Subject: [PATCH] Add global class_alias for Gadget

Used for serialization purposes...

Change-Id: I3345ad668aa55596bc9ec18b56d9891f10bb0285
---
 extension.json      | 2 ++
 includes/Gadget.php | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/extension.json b/extension.json
index 605cde27..32ad0585 100644
--- a/extension.json
+++ b/extension.json
@@ -66,7 +66,9 @@
 		"gadgets-definition"
 	],
 	"AutoloadClasses": {
+		"Gadget": "includes/Gadget.php",
 		"GadgetRepo": "includes/GadgetRepo.php",
+		"MediaWiki\\Extension\\Gadgets\\Gadget": "includes/Gadget.php",
 		"MediaWiki\\Extension\\Gadgets\\GadgetRepo": "includes/GadgetRepo.php"
 	},
 	"AutoloadNamespaces": {
diff --git a/includes/Gadget.php b/includes/Gadget.php
index de4c0fc8..e99f78a2 100644
--- a/includes/Gadget.php
+++ b/includes/Gadget.php
@@ -417,3 +417,5 @@ class Gadget {
 		return 'general';
 	}
 }
+
+class_alias( Gadget::class, 'Gadget' );