openid-mediawiki-ext/openid.install

   1 pre_install() {
   2         /bin/true
   3 }
   4
   5 post_install() {
   6         echo You need to perform the following steps to complete installation:
   7         echo 1. In your MediaWiki \$IP/LocalSettings.php, at the beginning, add the path , \"$IP/extensions/OpenID/\" to the \"OpenID\" subdirectory in the MediaWiki \$path statement
   8         echo 2. In your MediaWiki \$IP/LocalSettings.php, at the bottom of the file add:
   9         echo    \"require_once(\"\$IP/extensions/OpenID/OpenID.setup.php\");\"
  10         echo 3. Run update.php script in in your MediaWiki maintenance folder \$IP/maintenance to create necessary tables in MediaWiki database:
  11         echo    \"\$IP/maintenance# php update.php\"
  12         /bin/true
  13 }
  14
  15 pre_upgrade() {
  16         /bin/true
  17 }
  18
  19 post_upgrade() {
  20         echo You may need to run maintenance/update.php from the command line: php /path/to/mediawiki/maintenance/update.php
  21         /bin/true
  22 }
  23
  24 pre_remove() {
  25         /bin/true
  26 }
  27
  28 post_remove() {
  29         /bin/true
  30 }