interfaces Directory Reference

Files
file	interface.ilBadgeAuto.php [code]
file	interface.ilBadgeProvider.php [code]
file	interface.ilBadgeType.php [code]
file	interface.ilBadgeTypeGUI.php [code]