Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/120214
Change subject: Add phpinfo() as info.php to the root ...................................................................... Add phpinfo() as info.php to the root Since this is a development machine, we need a standard way to identify any issues with configuration. Having a standard http://127.0.0.1:8080/info.php way to check that PHP has been configured properly could be very usefull, especially when helping new users. Change-Id: Iae3b8654195e12a21bf48aa13becaeb2f28f2101 --- A puppet/modules/mediawiki/files/info.php M puppet/modules/mediawiki/manifests/apache.pp 2 files changed, 8 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/14/120214/1 diff --git a/puppet/modules/mediawiki/files/info.php b/puppet/modules/mediawiki/files/info.php new file mode 100644 index 0000000..61ace19 --- /dev/null +++ b/puppet/modules/mediawiki/files/info.php @@ -0,0 +1,2 @@ +<?php +phpinfo(); diff --git a/puppet/modules/mediawiki/manifests/apache.pp b/puppet/modules/mediawiki/manifests/apache.pp index 8e3b5eb..f14a20f 100644 --- a/puppet/modules/mediawiki/manifests/apache.pp +++ b/puppet/modules/mediawiki/manifests/apache.pp @@ -24,4 +24,10 @@ require => Package['apache2'], source => 'puppet:///modules/mediawiki/favicon.ico', } + + file { '/var/www/info.php': + ensure => file, + require => Package['apache2'], + source => 'puppet:///modules/mediawiki/info.php', + } } -- To view, visit https://gerrit.wikimedia.org/r/120214 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Iae3b8654195e12a21bf48aa13becaeb2f28f2101 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Yurik <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
