From c9934169491fbf6c432aadad4ab2ed6889db3906 Mon Sep 17 00:00:00 2001 From: Julio Montoya Date: Wed, 25 Sep 2013 15:02:56 +0200 Subject: [PATCH] Minor - adding comments. --- main/inc/global.inc.php | 2 +- main/inc/services.php | 5 +++++ web/index.php | 6 +++--- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/main/inc/global.inc.php b/main/inc/global.inc.php index 00e607cb6f..bacbb55980 100644 --- a/main/inc/global.inc.php +++ b/main/inc/global.inc.php @@ -117,7 +117,7 @@ if ($alreadyInstalled) { }*/ // For backward compatibility. - $_configuration['dokeos_version'] = $_configuration['system_version']; + $_configuration['dokeos_version'] = isset($_configuration['system_version']) ? $_configuration['system_version'] : null; //$_configuration['dokeos_stable'] = $_configuration['system_stable']; $userPasswordCrypted = (!empty($_configuration['password_encryption']) ? $_configuration['password_encryption'] : 'sha1'); } diff --git a/main/inc/services.php b/main/inc/services.php index 746d69093d..33a256df10 100644 --- a/main/inc/services.php +++ b/main/inc/services.php @@ -209,6 +209,11 @@ class ManagerRegistry extends AbstractManagerRegistry unset($this->container[$name]); } + /** + * @param string $alias + * @return string|void + * @throws BadMethodCallException + */ public function getAliasNamespace($alias) { throw new \BadMethodCallException('Namespace aliases not supported.'); diff --git a/web/index.php b/web/index.php index 836aa63806..a5ee0dbc7b 100644 --- a/web/index.php +++ b/web/index.php @@ -1,6 +1,9 @@ run(); -//$app['http_cache']->run();