I search the best practice to add extension on my container MediaWiki. Create a dockerfile with the download of the extension or add the extension file on the volume data? Thanks for the answer :D
Asked
Active
Viewed 636 times
1
-
1Have you checked: [adding additional libraries](https://docs.docker.com/samples/library/mediawiki/#adding-additional-libraries--extensions) which points you to [this](https://github.com/docker-library/docs/blob/31280550a3c7104fef824450753844d2f3d917be/php/README.md#how-to-install-more-php-extensions)? – tgogos Nov 27 '17 at 08:35
-
Yes, but it's for php extension and not for mediawiki extension. I need to do the same thing for mediawiki extension? – Troyan Nov 27 '17 at 08:43
-
I answered a very similar question: https://stackoverflow.com/a/52533718/1131145 – Divinenephron Sep 27 '18 at 09:29