ExtensionInfo for user config

2019-08-07 15:18:37 -05:00
parent b43e425f95
commit de68691fc3
2 changed files with 21 additions and 6 deletions
--- 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;