Changeset 107919 in spip-zone for _plugins_/adminer/adminer_options.php


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

évite une notice lorsqu'on utilise spip-cli

File:
1 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'))
Note: See TracChangeset for help on using the changeset viewer.