From 830de1ff038c4ed181c3473f30a8690bd86523db Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 7 Sep 2013 08:20:26 -0400
Subject: [PATCH] Fix codestyle

---
 libraries/config/ConfigFile.class.php | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/libraries/config/ConfigFile.class.php b/libraries/config/ConfigFile.class.php
index d1ce2d3a59..825dcd8675 100644
--- a/libraries/config/ConfigFile.class.php
+++ b/libraries/config/ConfigFile.class.php
@@ -128,7 +128,7 @@ class ConfigFile
      * Sets names of config options which will be placed in config file even if
      * they are set to their default values (use only full paths)
      *
-     * @param array $keys
+     * @param array $keys the names of the config options
      *
      * @return void
      */
@@ -173,7 +173,8 @@ class ConfigFile
      * {@link updateWithGlobalConfig()} or reading
      * by {@link getConfig()} or {@link getConfigArray()}
      *
-     * @param array $mapping
+     * @param array $mapping Contains the mapping of "Server/config options" 
+     *                       to "Server/1/config options" 
      *
      * @return void
      */
@@ -195,7 +196,7 @@ class ConfigFile
     /**
      * Sets configuration data (overrides old data)
      *
-     * @param array $cfg
+     * @param array $cfg Configuration options
      *
      * @return void
      */