diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
| commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
| tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/renderDump.php | |
| parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) | |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'maintenance/renderDump.php')
| -rw-r--r-- | maintenance/renderDump.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/maintenance/renderDump.php b/maintenance/renderDump.php index 10986f2c..5cb79c53 100644 --- a/maintenance/renderDump.php +++ b/maintenance/renderDump.php @@ -24,8 +24,7 @@ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. * http://www.gnu.org/copyleft/gpl.html * - * @package MediaWiki - * @subpackage Maintenance + * @addtogroup Maintenance */ $optionsWithArgs = array( 'report' ); |