| Index: trunk/extensions/SelectCategory/SelectCategoryFunctions.php |
| — | — | @@ -1,14 +1,17 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | | -# Implementation of the SelectCategory extension, an extension of the |
| 5 | | -# edit box of MediaWiki to provide an easy way to add category links |
| 6 | | -# to a specific page. |
| | 4 | +/** |
| | 5 | + * Implementation of the SelectCategory extension, an extension of the |
| | 6 | + * edit box of MediaWiki to provide an easy way to add category links |
| | 7 | + * to a specific page. |
| | 8 | + * |
| | 9 | + * @file |
| | 10 | + * @ingroup Extensions |
| | 11 | + * @author Leon Weber <leon@leonweber.de> & Manuel Schneider <manuel.schneider@wikimedia.ch> |
| | 12 | + * @copyright © 2006 by Leon Weber & Manuel Schneider |
| | 13 | + * @licence GNU General Public Licence 2.0 or later |
| | 14 | + */ |
| 7 | 15 | |
| 8 | | -# @addtogroup Extensions |
| 9 | | -# @author Leon Weber <leon@leonweber.de> & Manuel Schneider <manuel.schneider@wikimedia.ch> |
| 10 | | -# @copyright © 2006 by Leon Weber & Manuel Schneider |
| 11 | | -# @licence GNU General Public Licence 2.0 or later |
| 12 | | - |
| 13 | 16 | if( !defined( 'MEDIAWIKI' ) ) { |
| 14 | 17 | echo( "This file is an extension to the MediaWiki software and cannot be used standalone.\n" ); |
| 15 | 18 | die(); |