//======================================================================
// Extension packages repository settings
//
// Extensions repository. Can be overriden in config.php
//======================================================================
// Extension packages repository settings
//
// Extensions repository. Can be overriden in config.php