wok diff mediawiki/receipt @ rev 22805

updated gawk (4.2.1 -> 5.0.1)
author Hans-G?nter Theisgen
date Tue Jan 28 10:03:39 2020 +0100 (2020-01-28)
parents d52746146def
children c9ea8c14470e
line diff
     1.1 --- a/mediawiki/receipt	Fri Apr 26 17:30:33 2019 +0100
     1.2 +++ b/mediawiki/receipt	Tue Jan 28 10:03:39 2020 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  	mkdir -p $fs/etc/webapps/mediawiki
     1.5  
     1.6  	cp -a $src $fs/usr/share/webapps/mediawiki
     1.7 -	sed -i -e 's#is_executable#is_file#' $fs/includes/Math.php
     1.8 +#	sed -i -e 's#is_executable#is_file#' $fs/includes/Math.php
     1.9  	echo "deny from all" >> $fs/etc/webapps/mediawiki/.htaccess
    1.10  	ln -sf /etc/webapps/mediawiki/.htaccess $fs/usr/share/webapps/mediawiki/.htaccess
    1.11