[ Index ]

PHP Cross Reference of MediaWiki-1.24.0

title

Body

[close]

/maintenance/dev/ -> install.sh (source)

   1  #!/bin/bash
   2  
   3  if [ "x$BASH_SOURCE" == "x" ]; then echo '$BASH_SOURCE not set'; exit 1; fi
   4  DEV=$(cd -P "$(dirname "$BASH_SOURCE[0]}" )" && pwd)
   5  
   6  "$DEV/installphp.sh"
   7  "$DEV/installmw.sh"
   8  "$DEV/start.sh"


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