Editing Upgrading Mediawiki (section)

== Procedure ==

<p class="alert alert-info">In the following instructions, `eb_deploy` refers to the shell script found in the `littled_wiki` project root. Note that `eb_deploy` is not the same thing as the command `eb deploy`. Use the shell script and not the `eb` command.</p>

* Download new wiki distribution to `littled_wiki` project root.
** Unzip the archive.
** Make sure that all custom extensions listed in `LocalSettings.php` are present in the `extensions` folder of the new distribution.
* Edit `eb_deploy`.
** Change `WIKI_DISTRO_DIR` to point to the directory containing the new wiki distribution.
* Make backup of previous wiki configuration
** [[RDS_Database_Backup|Backup the current wiki database]].
** Make sure to save a copy of the current `LocalSettings.php` for the wiki to migrate any custom settings to the new wiki distribution.
* Run `eb_deploy`.
* Connect to the wiki on the live server.
** Go through the installation steps to create `LocalSettings.php`.
** Download the newly created `LocalSettings.php` from the server to `[littled_wiki_PROJECT_ROOT]/wiki_config/`
* Migrate settings from previous `LocalSettings.php` to the new file.
** Database settings, e.g. `$wgDBServer = getenv('MEDIAWIKI_DB_SERVER');`
** Do not store any sensitive information in the configuration file.
** Custom extensions which would be found at the very end of the file.

=== Upgrading the database ===

Some MediaWiki updates may require database updates especially related to specific MediaWiki extensions. 

In order to force the database to update, upload the boilerplate `LocalSettings.php` included in the MediaWiki distribution. When the wiki is next visited, it will prompt for a full configuration including user and database settings. After completing this set up, download the `LocalSettings.php` file and merge it with the previous working version.