From 3bbda787b821cfd03c21a57012756b57d3fa43e4 Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Sun, 20 May 2012 17:56:43 +0200 Subject: [PATCH] Added missing GPLv2 headers in some places. Also made file/class documentation more consistent. Change-Id: Ic1ba00472ef62fa4fd746f8f590fe694d490ecd9 --- includes/DataUpdate.php | 7 +++++- includes/DefaultSettings.php | 20 +++++++++++++++- includes/DeferredUpdates.php | 21 +++++++++++++++++ includes/Defines.php | 15 ++++++++++++ includes/DeprecatedGlobal.php | 21 +++++++++++++++++ includes/EditPage.php | 18 ++++++++++++++- includes/Exception.php | 17 +++++++++++++- includes/ExternalStore.php | 21 +++++++++++++++++ includes/ExternalStoreDB.php | 20 ++++++++++++++++ includes/ExternalStoreHttp.php | 20 ++++++++++++++++ includes/ExternalUser.php | 2 ++ includes/SqlDataUpdate.php | 7 +++++- includes/filerepo/backend/FileOpBatch.php | 17 ++++++++++++++ includes/objectcache/MemcachedBagOStuff.php | 2 ++ .../objectcache/MemcachedPeclBagOStuff.php | 23 ++++++++++++++++++- 15 files changed, 225 insertions(+), 6 deletions(-) diff --git a/includes/DataUpdate.php b/includes/DataUpdate.php index 07e8223fd8..7203c3b3c3 100644 --- a/includes/DataUpdate.php +++ b/includes/DataUpdate.php @@ -1,6 +1,7 @@