diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php index ee465965..313ea151 100644 --- 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;