Summary
- #474: Add ability to set other plugin names as provided API so others (details)
| The file was modified | src/main/java/org/bukkit/plugin/PluginDescriptionFile.java |
| The file was modified | src/main/java/org/bukkit/plugin/SimplePluginManager.java |
| The file was modified | src/main/java/org/bukkit/command/defaults/PluginsCommand.java |