Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] upgrade to mediawiki 1.32 #73

Open
wants to merge 8 commits into
base: master
Choose a base branch
from

Conversation

mattwr18
Copy link
Collaborator

  1. change mediawiki version to 1.32 in the Dockerfile
  2. update extensions being installed in the the Dockerfile (issues with having the right url, need to manually go to the extensions site and copy the install link to the Dockerfile)
  3. update .gitmodules to point to branch 1_32 of VisualEditor
  4. Extract EmbedVideo, WikiSEO to be installed by composer
  5. Remove ExtraLanguagesLink extension as it has never worked for us
    Commit 833cb17
    Pushed up and VisualEditor didn't work... it seems like it starts to open, but then it quickly closes the progress bar
  6. Update Visual Editor to new commit
    Commit 9d51636
    Pushed up with no changes
  7. Extract all extensions to an install-extensions script to install them following the instructions on the extensions' pages eg https://www.mediawiki.org/wiki/Extension:VisualEditor
    Commit b162cd9
    Pushed up with no changes
  8. Version VisualEditor, as the one being installed in the above step was from master, which is pointing to 1.33
    Commit f8937fd
    Pushed up with no changes
  9. Move VisualEditor install back to the Dockerfile
    Committ 959e221
    Pushed up with no changes
  10. Try with VisualEditor 1_31
    Committ 5456a9a
    Pushed up with no changes
  11. Add VE as a submodule again
    Commit 906fd88
    Pushed up with no changes
  12. Move VE install back to install script
    Commit aa873da
    Pushed up with no changes

Decide to make less changes to other extensions in another branch see 69-upgrade-attempt2-to-mediawiki-1.32

@mattwr18 mattwr18 changed the title upgrade to mediawiki 1.32 [WIP] upgrade to mediawiki 1.32 Feb 27, 2019
@tansaku
Copy link
Contributor

tansaku commented Mar 7, 2019

thanks for documenting @mattwr18 - much appreciated :-)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants