diff options
| author | Alexandre Emsenhuber <ialex.wiki@gmail.com> | 2012-05-12 22:33:02 +0200 |
|---|---|---|
| committer | Alexandre Emsenhuber <ialex.wiki@gmail.com> | 2012-05-12 22:33:51 +0200 |
| commit | a682b7335a179cd0693d838c9bbd62485fe7cbad (patch) | |
| tree | b5bde5ce9864c25c16bd85ad88fe819f3dc2811a /includes/Init.php | |
| parent | aefa39ead9b365d39ad6c686b3fca189e3bf499d (diff) | |
| download | mediawikicore-a682b7335a179cd0693d838c9bbd62485fe7cbad.tar.gz mediawikicore-a682b7335a179cd0693d838c9bbd62485fe7cbad.zip | |
Added missing GPLv2 headers in some places.
Also made file/class documentation more consistent.
Change-Id: I0db3461139284edcb6ac02923eb83d54e6756ffb
Diffstat (limited to 'includes/Init.php')
| -rw-r--r-- | includes/Init.php | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/includes/Init.php b/includes/Init.php index 5bfd3f5c4b91..a8540f2c4735 100644 --- a/includes/Init.php +++ b/includes/Init.php @@ -1,4 +1,24 @@ <?php +/** + * Some functions that are useful during startup. + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 2 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License along + * with this program; if not, write to the Free Software Foundation, Inc., + * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. + * http://www.gnu.org/copyleft/gpl.html + * + * @file + */ /** * Some functions that are useful during startup. |