Bump version, update upgrade scripts

Author: trasher

config/define.php

@@ -36,7 +36,7 @@
 */
 
 // Current version of GLPI
-define("GLPI_VERSION","9.1.6");
+define("GLPI_VERSION","9.1.7.1");
 define("GLPI_SCHEMA_VERSION","9.1.3");
 define('GLPI_YEAR', '2017');
 define("GLPI_DEMO_MODE","0");

install/update.php

@@ -807,6 +807,8 @@ function updateDbUpTo031() {
       case "9.1.3" :
       case "9.1.4" :
       case "9.1.5" :
+      case "9.1.6" :
+      case "9.1.7" :
       case GLPI_VERSION:
          break;
 

tools/cliupdate.php

@@ -347,6 +347,8 @@ function displayWarning($msg, $red=false) {
    case "9.1.3":
    case "9.1.4":
    case "9.1.5":
+   case "9.1.6":
+   case "9.1.7":
    case GLPI_VERSION :
       break;