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

Change MediaWiki configurations to have multiple files #59

Closed
frankduncan opened this issue Apr 16, 2020 · 0 comments · Fixed by #78
Closed

Change MediaWiki configurations to have multiple files #59

frankduncan opened this issue Apr 16, 2020 · 0 comments · Fixed by #78
Labels
tech debt Technical Debt that should be Paid sometime

Comments

@frankduncan
Copy link
Collaborator

Organically the system has grown where all the configuration gets stuck in LocalSettings.php from ansible lineinfile and blockinfile tasks. This is the normal way to configure MediaWiki, however it makes both the ansible files, and LocalSettings a bit unwiedly.

Instead, we should have some loop in LocalSettings that loads up all the files in a directory, not unlike other configuration schemes in linux, and those files being part of the files/templates folder in ansible, rather than using blockinfile in the tasks yml file.

This is related to #56, as the general LocalSettings for the entire box could just loop over a directory that's symlinked for the given competition. So it makes sense to do these two issues at the same time.

@frankduncan frankduncan added the tech debt Technical Debt that should be Paid sometime label Apr 16, 2020
frankduncan pushed a commit that referenced this issue Oct 29, 2020
A lot of the configuration was inline blocks that were dumped directly
into LocalSettings.php.  This change separates those configurations out
into their own files for easier maintenance and documentation.

Issue #59: Change MediaWiki configurations to have multiple files
frankduncan pushed a commit that referenced this issue Apr 7, 2021
A lot of the configuration was inline blocks that were dumped directly
into LocalSettings.php.  This change separates those configurations out
into their own files for easier maintenance and documentation.

Issue #59: Change MediaWiki configurations to have multiple files
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tech debt Technical Debt that should be Paid sometime
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant