cschulz/rd13_media_wiki
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Update for new Extensions everything works but maps still makes problems cant visualy edit

Browse source
This commit is contained in:
conradschulz 2021-05-06 16:25:08 +02:00
parent 7296773a50
commit 8473187119
2 changed files with 43 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

41
dockerfile
View file

@ -3,23 +3,48 @@ FROM mediawiki:lts
RUN apt update && apt install -y xpdf RUN apt update && apt install -y xpdf
# Eventually you need tu build ghostscript from source # Eventually you need tu build ghostscript from source
RUN apt install -y ghostscript RUN apt install -y ghostscript
# Eventually you need tu build Imagick from source # Eventually you need tu build Imagick from source
RUN apt install -y imagemagick RUN apt install -y imagemagick
# ffmpeg für video support # ffmpeg für video support
RUN apt install -y ffmpeg RUN apt install -y ffmpeg
# Install Dependencies for Maps support # Install Dependencies for Score Extension
###########################################
# Music Notation Framework LilyPond
RUN apt install -y lilypond
# Sandboxing system
RUN apt install -y firejail
# A SoundFont Synthesizer
RUN apt install -y fluidsynth
#RUN curl https://getcomposer.org/composer-2.phar > composer.phar && mv composer.phar /usr/local/bin/composer && chmod +x /usr/local/bin/composer # Install composer for php dependencies
#RUN cd /var/www/html && COMPOSER=composer.local.json composer require --no-update mediawiki/maps:~8.0 #######################################
#RUN composer update RUN curl https://getcomposer.org/composer-2.phar > composer.phar && mv composer.phar /usr/local/bin/composer && chmod +x /usr/local/bin/composer
#RUN cd /var/www/html && composer update mediawiki/maps --no-dev -o -n RUN cd /var/www/html && COMPOSER=composer.local.json composer require --no-update mediawiki/maps:~8.0
############################################################
############################################################
# This needs to be done in running Container
# It is possible to override entrypoint for container to run this as a skript but not done jet
# Install TimedMediaExtension dependencies
###########################################
#RUN cd /var/www/html/extensions/TimedMediaHandler && composer update
#RUN cd /var/www/html/extensions/TimedMediaHandler && composer update mediawiki/maps --no-dev -o
# Install Dependencies for Maps support
########################################
#RUN cd /var/www/html/extensions/Maps && composer update
#RUN cd /var/www/html/extensions/Maps && composer update mediawiki/maps --no-dev -o
##############################################################
##############################################################
RUN cd /var/www/html
# Start from the webserver neccessary or not? Test from 23.04.2021 -> not needed # Start from the webserver neccessary or not? Test from 23.04.2021 -> not needed
#CMD ["apache2-foreground"] #CMD ["apache2-foreground"]

12
example.LocalSettings.php
View file

@ -308,9 +308,10 @@ wfLoadExtension( 'Graph' );
# composer update # composer update
# composer update mediawiki/maps --no-dev -o # composer update mediawiki/maps --no-dev -o
# inside the wiki shell # inside the wiki shell
#wfLoadExtension( 'Maps' ); wfLoadExtension( 'Maps' );
#$egMapsDefaultService = 'leaflet'; $egMapsDefaultService = 'leaflet';
#$egMapsDefaultGeoService = 'google'; $egMapsMapWidth = 800;
$egMapsDefaultGeoService = 'leaflet';
# Adding Musical notation with score Notation # Adding Musical notation with score Notation
############################################# #############################################
@ -325,3 +326,8 @@ $wgScoreTrim = true;
$wgShellRestrictionMethod = 'firejail'; $wgShellRestrictionMethod = 'firejail';
# For shell memory errors increase # For shell memory errors increase
#$wgMaxShellMemory = xxxx; #$wgMaxShellMemory = xxxx;
# Timedmedia Extension needed for Score and Video Support
wfLoadExtension( 'TimedMediaHandler' );
#$wgFFmpegLocation = '/usr/bin/ffmpeg'; # already set under embedvideo
#$wgMaxShellMemory = xxxx; # For performance issuse