00001 <?php 00002 /** 00003 * @defgroup Modules 00004 * 00005 * A set of optional extensions that come with the core distribution. 00006 */
