Nice.
Some comments:
- It doesn't check if you already have php 5.4 installed
- It doesn't believe you may not want to install it:
Install PHP in ~/.mediawiki/php [y/N]: N
Downloading PHP 5.4- using wget
--2012-07-27 03:06:23--
http://snaps.php.net/php5.4-latest.tar.gz (...)
- The 'latest' download url for php I was
using now only gives out old
RC versions instead of the latest php5.4. Not sure how to fix that easily.
(I wonder if I should fix these issues by switching the tool to python)
It's getting a php 5.5 snapshot. Perhaps not so bad.