wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 10:59:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Big changes to extensions' documentation:

Browse source 
* changed all @addtogroup to @ingroup
* added some @file where needed
* changed some @package/@subpackage to @ingroup
This commit is contained in:
Alexandre Emsenhuber 2010-06-06 15:12:22 +00:00
parent 5ee8b5e7b6
commit 36e4e5fa22
Notes: Alexandre Emsenhuber 2010-06-06 15:12:22 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/67467
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
ReplaceText.i18n.php
View file

@ -2,8 +2,9 @@
/**
* Internationalization file for the Replace Text extension
*
* @addtogroup Extensions
*/
* @file
* @ingroup Extensions
*/
$messages = array();