Last modified: 2012-11-27 09:06:19 UTC
All files should have the GPL header (unless explicitally licensed differently)
Catched a few of them with https://gerrit.wikimedia.org/r/33981
(In reply to comment #1) > Catched a few of them with https://gerrit.wikimedia.org/r/33981 Status Merged
I am not sure how we could enforce that in mediawiki/core.git . Maybe make sure that whenever a PHP file is added in the repository, it matches the string "This program is free software".
(In reply to comment #3) > I am not sure how we could enforce that in mediawiki/core.git . Maybe make sure > that whenever a PHP file is added in the repository, it matches the string > "This program is free software". Do we really need to? If we get all files currently in the repo "fixed", then just be vigilant to any new ones added
Resolving as fixed, since I214a988e was merged. (Unless we want to make this a jenkins task that would check all files for the header or something, but do we?)
I opened bug 42472 to add a lint check in Jenkins to make sure a new file contains the GPL header. That will avoid us having to remember about it or someone to reopen this bug :-)