Changeset 107919 in spip-zone


Ignore:
Timestamp:
Dec 8, 2017, 2:32:30 PM (16 months ago)
Author:
bystrano@…
Message:

évite une notice lorsqu'on utilise spip-cli

Location:
_plugins_/adminer
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • _plugins_/adminer/adminer_options.php

    r104815 r107919  
    1515
    1616// aiguiller sur adminer si les bonnes conditions
    17 if (strpos($_SERVER['REQUEST_URI'],"prive.php")!==false AND !_DIR_RESTREINT){
     17if (isset($_SERVER['REQUEST_URI']) AND strpos($_SERVER['REQUEST_URI'],"prive.php")!==false AND !_DIR_RESTREINT){
    1818        if (
    1919        (  ($f=_request('file') AND in_array($f,array('default.css','functions.js','favicon.ico','jush.js')) AND _request('version'))
  • _plugins_/adminer/plugin.xml

    r105228 r107919  
    33        <slogan>Utiliser Adminer pour explorer la base SPIP</slogan>
    44        <auteur>Jakub Vrana ( https://www.vrana.cz ), mis en plugin par Fil</auteur>
    5         <version>4.3.1.3</version>
     5        <version>4.3.1.4</version>
    66        <etat>stable</etat>
    77        <prefix>adminer</prefix>
Note: See TracChangeset for help on using the changeset viewer.