Remove unused $wgLicenseTerms
authorAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Tue, 25 Mar 2014 19:38:36 +0000 (20:38 +0100)
committerAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Tue, 25 Mar 2014 19:38:36 +0000 (20:38 +0100)
commit1bb5aaecaa59c4092c5a4191babb5161f5b4f40d
tree2e62a242a2e9a9d1682e77f1876762b5a9082de4
parent9271c73045c3334507a387621135fec820d44292
Remove unused $wgLicenseTerms

Follow-up I3454d605a7 (4ebd4de).

Change-Id: I1e22e24a2de686371967f3951a4c8b8c553c3f0b
RELEASE-NOTES-1.23
includes/DefaultSettings.php