From 1229ea5ef658c7b86cc360652d719f0edccff5ed Mon Sep 17 00:00:00 2001
From: Astor Bizard <astor.bizard@grenoble-inp.fr>
Date: Mon, 20 Jan 2020 11:26:11 +0100
Subject: [PATCH] Fixed displayed VPL version number
---
locallib.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/locallib.php b/locallib.php
index 1ae75758..9c92e2ab 100644
--- a/locallib.php
+++ b/locallib.php
@@ -846,7 +846,7 @@ function vpl_create_tabobject($id, $href, $str, $comp = 'mod_vpl') {
* @return string
*/
function vpl_get_version() {
- static $version = '';
+ static $version;
if (! isset( $version )) {
$plugin = new stdClass();
require_once(dirname( __FILE__ ) . '/version.php');
--
GitLab