(bug 26280) all files should have GPL header
authorAntoine Musso <hashar@free.fr>
Sun, 18 Nov 2012 14:34:00 +0000 (15:34 +0100)
committerAntoine Musso <hashar@free.fr>
Sun, 18 Nov 2012 14:34:00 +0000 (15:34 +0100)
commit42a8daaf5a25aa56b87612d4a11c916062d7f47d
treeed1da4f77c484ff3d1f3813a0b2d1270a68cba27
parent91442d70fd3578b31b54681d1b42e5057d52615c
(bug 26280) all files should have GPL header

MediaWiki is licensed under GPL so we should really add the header to
our PHP code unless reusing code licensed differently.

Tested using:
  ack-grep --php -L 'This program is free software' \
    includes/ maintenance/ mw-config/ resources/ skins/

Output the following files:
 includes/ExternalEdit.php (public domain)

Various other licenses:
 includes/json/Services_JSON.php
 includes/libs/CSSMin.php
 includes/libs/IEContentAnalyzer.php
 includes/libs/JavaScriptMinifier.php
 includes/libs/jsminplus.php
 includes/normal/Utf8Case.php
 includes/objectcache/MemcachedClient.php

File autogenerated from a GPL file and Unicode data:
 includes/ZhConversion.php

A few lines coming from stack overflow:
 maintenance/mwdoc-filter.php

Message files do not have any license :-/

Change-Id: I214a988edfa9e2dfcc762612a0f7d47eee8bcb74
includes/content/CssContentHandler.php
includes/content/JavaScriptContentHandler.php
includes/content/TextContentHandler.php
includes/content/WikitextContentHandler.php
includes/diff/DairikiDiff.php
includes/site/MediaWikiSite.php
languages/utils/CLDRPluralRuleEvaluator.php
skins/Standard.php