Changeset 107919 in spip-zone

Timestamp:

Dec 8, 2017, 2:32:30 PM (3 years ago)

Author:

bystrano@…

Message:

évite une notice lorsqu'on utilise spip-cli

Location:

_plugins_/adminer

Files:

• adminer_options.php (modified) (1 diff)
• plugin.xml (modified) (1 diff)

_plugins_/adminer/adminer_options.php

@@ -15 +15 @@
 
 // aiguiller sur adminer si les bonnes conditions
-if (strpos($_SERVER['REQUEST_URI'],"prive.php")!==false AND !_DIR_RESTREINT){
+if (isset($_SERVER['REQUEST_URI']) AND strpos($_SERVER['REQUEST_URI'],"prive.php")!==false AND !_DIR_RESTREINT){
         if (
         (  ($f=_request('file') AND in_array($f,array('default.css','functions.js','favicon.ico','jush.js')) AND _request('version'))

_plugins_/adminer/plugin.xml

@@ -3 +3 @@
         <slogan>Utiliser Adminer pour explorer la base SPIP</slogan>
         <auteur>Jakub Vrana ( https://www.vrana.cz ), mis en plugin par Fil</auteur>
-        <version>4.3.1.3</version>
+        <version>4.3.1.4</version>
         <etat>stable</etat>
         <prefix>adminer</prefix>