diff options
author | Timo Tijhof <krinklemail@gmail.com> | 2017-12-04 19:25:31 +0000 |
---|---|---|
committer | Timo Tijhof <krinklemail@gmail.com> | 2018-01-12 18:15:11 +0000 |
commit | bee9f4db96b4aec51feeddb8ccdca353c034f12f (patch) | |
tree | 44377511daa18e28c2506595229f4e10a08a15e8 /includes/title/TitleFormatter.php | |
parent | 92f9cb055173058c7c09ea746ba75109fbe0f7ec (diff) | |
download | mediawikicore-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/title/TitleFormatter.php')
-rw-r--r-- | includes/title/TitleFormatter.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/includes/title/TitleFormatter.php b/includes/title/TitleFormatter.php index 5177606fcfea..4551d75a513d 100644 --- a/includes/title/TitleFormatter.php +++ b/includes/title/TitleFormatter.php @@ -1,6 +1,6 @@ <?php /** - * A title formatter service for %MediaWiki. + * A title formatter service for MediaWiki. * * 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 @@ -18,7 +18,6 @@ * http://www.gnu.org/copyleft/gpl.html * * @file - * @license GPL 2+ * @author Daniel Kinzler */ use MediaWiki\Linker\LinkTarget; |