ExtensionInfo isn't private

2016-06-19 22:15:46 +01:00 · 2016-06-19 22:15:46 +01:00 · f8b7909426
commit f8b7909426
parent 333c74ba35
1 changed files with 0 additions and 1 deletions
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@ -17,7 +17,6 @@ function __extman_extcmp(ExtensionInfo $a, ExtensionInfo $b) {
 	return strcmp($a->name, $b->name);
 }

-/** @private */
 class ExtensionInfo {
 	var $ext_name, $name, $link, $author, $email;
 	var $description, $documentation, $version, $visibility;