From 9fc3afc6cdeee3407708ab01704c4fab4ac7b437 Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Thu, 14 Jun 2012 14:25:13 +0200 Subject: [PATCH] Added missing GPLv2 headers in some places. Also made file/class documentation more consistent. Change-Id: I8ee0861bfc2e9ff6511ad61175f1f1273739816c --- maintenance/formatInstallDoc.php | 16 +++++++++++ maintenance/importSiteScripts.php | 16 +++++++++++ .../language/generateCollationData.php | 17 ++++++++++++ maintenance/locking/LockServerDaemon.php | 22 ++++++++++++--- maintenance/proxy_check.php | 17 +++++++++++- maintenance/purgeParserCache.php | 20 +++++++++++++- maintenance/purgeStaleMemcachedText.php | 17 +++++++++++- maintenance/term/MWTerm.php | 27 ++++++++++++++++--- 8 files changed, 142 insertions(+), 10 deletions(-) diff --git a/maintenance/formatInstallDoc.php b/maintenance/formatInstallDoc.php index b3bb50ca17..fa98813f62 100644 --- a/maintenance/formatInstallDoc.php +++ b/maintenance/formatInstallDoc.php @@ -1,5 +1,21 @@