diff --git a/ext/user_config/info.php b/ext/user_config/info.php
new file mode 100644
index 00000000..75538a41
--- /dev/null
+++ b/ext/user_config/info.php
@@ -0,0 +1,21 @@
+<?php
+
+/*
+ * Name: User-specific settings
+ * Author: Matthew Barbour <matthew@darkholme.net>
+ * Description: Provides system-wide support for user-specific settings
+ * Visibility: admin
+ */
+
+class UserConfigInfo extends ExtensionInfo
+{
+    public const KEY = "user_config";
+
+    public $key = self::KEY;
+    public $name = "User-specific settings";
+    public $authors = ["Matthew Barbour"=>"matthew@darkholme.net"];
+    public $license = self::LICENSE_WTFPL;
+    public $description = "Provides system-wide support for user-specific settings";
+    public $visibility = self::VISIBLE_ADMIN;
+    public $core = true;
+}
diff --git a/ext/user_config/main.php b/ext/user_config/main.php
index 7fd24c34..a07b28d1 100644
--- a/ext/user_config/main.php
+++ b/ext/user_config/main.php
@@ -1,10 +1,4 @@
 <?php
-/*
- * Name: User-specific settings
- * Author: Matthew Barbour <matthew@darkholme.net>
- * Description: Provides system-wide support for user-specific settings
- * Visibility: admin
- */
 
 /** @var $user_config Config */
 global $user_config;