first step in the updating machinery
this is required too by update.php
it seems it works
Merge branch 'update_php' into gh-pages
the separator has to be the colon, not the semicolon