aboutsummaryrefslogtreecommitdiffstats
path: root/includes/MWGrants.php
diff options
context:
space:
mode:
authorTimo Tijhof <krinklemail@gmail.com>2017-12-04 19:25:31 +0000
committerTimo Tijhof <krinklemail@gmail.com>2018-01-12 18:15:11 +0000
commitbee9f4db96b4aec51feeddb8ccdca353c034f12f (patch)
tree44377511daa18e28c2506595229f4e10a08a15e8 /includes/MWGrants.php
parent92f9cb055173058c7c09ea746ba75109fbe0f7ec (diff)
downloadmediawikicore-bee9f4db96b4aec51feeddb8ccdca353c034f12f.tar.gz
mediawikicore-bee9f4db96b4aec51feeddb8ccdca353c034f12f.zip
Remove various redundant '@license' tags in file headers
Redundant given this is the project-wide license already, especially in file headers that already include the GPL license header. This and other minor fixups based on feedback from Ie0cea0ef5027c7e5. * Add @file where missing. * Move @ingroup and @deprecated from file to class doc where needed. Change-Id: I7067abb7abee1f0c238cb2536e16192e946d8daa
Diffstat (limited to 'includes/MWGrants.php')
-rw-r--r--includes/MWGrants.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/MWGrants.php b/includes/MWGrants.php
index c7c54fd5037f..ba22590c92fc 100644
--- a/includes/MWGrants.php
+++ b/includes/MWGrants.php
@@ -1,7 +1,5 @@
<?php
/**
- * Functions and constants to deal with grants
- *
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
@@ -16,6 +14,8 @@
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
* http://www.gnu.org/copyleft/gpl.html
+ *
+ * @file
*/
use MediaWiki\MediaWikiServices;