| Index: trunk/extensions/Push/Push.php |
| — | — | @@ -3,12 +3,15 @@ |
| 4 | 4 | /** |
| 5 | 5 | * Initialization file for the Push extension. |
| 6 | 6 | * |
| 7 | | - * On MediaWiki.org: http://www.mediawiki.org/wiki/Extension:Push |
| | 7 | + * Documentation: http://www.mediawiki.org/wiki/Extension:Push |
| | 8 | + * Support http://www.mediawiki.org/wiki/Extension_talk:Push |
| 8 | 9 | * Source code: http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/Push |
| 9 | 10 | * |
| 10 | 11 | * @file Push.php |
| 11 | 12 | * @ingroup Push |
| 12 | 13 | * |
| | 14 | + * @licence GNU GPL v3 |
| | 15 | + * |
| 13 | 16 | * @author Jeroen De Dauw < jeroendedauw@gmail.com > |
| 14 | 17 | */ |
| 15 | 18 | |