Merge "(bug 26280) all files should have GPL header"
authorIAlex <ialex.wiki@gmail.com>
Mon, 19 Nov 2012 20:24:34 +0000 (20:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 Nov 2012 20:24:34 +0000 (20:24 +0000)

Trivial merge