wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-24 07:33:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use Doxygen @addtogroup instead of phpdoc @package && @subpackage

Browse source 
This is like r19502 but for extensions.
This commit is contained in:
Antoine Musso 2007-01-20 15:10:35 +00:00
parent 19e9d90fb7
commit 4f239aab79
4 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Cite.i18n.php
View file

@ -2,8 +2,7 @@
/**
* Internationalisation file for Cite extension.
*
* @package MediaWiki
* @subpackage Extensions
* @addtogroup Extensions
*/
$wgCiteMessages = array();

3
Cite.php
View file

@ -5,8 +5,7 @@ if ( ! defined( 'MEDIAWIKI' ) )
* A parser extension that adds two tags, <ref> and <references> for adding
* citations to pages
*
* @package MediaWiki
* @subpackage Extensions
* @addtogroup Extensions
*
* @link http://meta.wikimedia.org/wiki/Cite/Cite.php Documentation
* @link http://www.w3.org/TR/html4/struct/text.html#edef-CITE <cite> definition in HTML

3
SpecialCite.i18n.php
View file

@ -2,8 +2,7 @@
/**
* Internationalisation file for Cite special page extension.
*
* @package MediaWiki
* @subpackage Extensions
* @addtogroup Extensions
*/
$wgSpecialCiteMessages = array();

3
SpecialCite.php
View file

@ -4,8 +4,7 @@ if (!defined('MEDIAWIKI')) die();
* A special page extension that adds a special page that generates citations
* for pages.
*
* @package MediaWiki
* @subpackage Extensions
* @addtogroup Extensions
*
* @link http://meta.wikimedia.org/wiki/Cite/SpecialCite.php Documentation
*