public marks

PUBLIC MARKS from digitalmonkey with tags nsIExtensionManager & nsIFileInputStream