[ Index ]

PHP Cross Reference of MediaWiki-1.24.0

title

Body

[close]

/maintenance/dev/includes/ -> require-php.sh (source)

   1  # Include-able script to require that we have a known php binary we can execute
   2  
   3  . "$DEV/includes/php.sh"
   4  
   5  if [ "x$PHP" == "x" -o ! -x "$PHP" ]; then
   6      echo "Local copy of PHP is not installed"
   7      exit 1
   8  fi


Generated: Fri Nov 28 14:03:12 2014 Cross-referenced by PHPXref 0.7.1