hbb-mediawiki/install

   1 #!/bin/bash
   2
   3 MEDIAWIKI=/*/*/mediawiki
   4 REQUIRE_STRING="require_once(\"\$IP/extensions/hbb-repo/require.php\");"
   5
   6 cp -fru ./source/extensions $MEDIAWIKI
   7 if ( [ -z $(cat $MEDIAWIKI/LocalSettings.php | grep $REQUIRE_STRING) ] ) then
   8         echo $REQUIRE_STRING >> $MEDIAWIKI/LocalSettings.php
   9 fi