<?php return new common_ext_ExtensionsManager();