Migrate from thias-php to puppet-php

.gitignore

@@ -40,7 +40,7 @@
 /ssm-munin/
 /stm-debconf/
 /theforeman-puppet/
-/thias-php/
 /trepasi-debnet/
 /wikimedia-kafka/
 /wikimedia-zookeeper/
+/puppet-php/

.mrconfig

@@ -89,6 +89,12 @@ checkout = git clone https://forge.softwareheritage.org/source/puppet-puppet-ngi
 	 && git remote add upstream https://github.com/voxpupuli/puppet-nginx \
 	 && git fetch upstream
 
+[puppet-php]
+checkout = git clone https://forge.softwareheritage.org/source/puppet-puppet-php.git puppet-php \
+	 && cd puppet-php \
+	 && git remote add upstream https://github.com/voxpupuli/puppet-php \
+	 && git fetch upstream
+
 [puppet-unattended_upgrades]
 checkout = git clone https://forge.softwareheritage.org/source/puppet-puppet-unattended_upgrades.git puppet-unattended_upgrades \
 	 && cd puppet-unattended_upgrades \
@@ -227,12 +233,6 @@ checkout = git clone https://forge.softwareheritage.org/source/puppet-theforeman
 	 && git remote add upstream https://github.com/theforeman/puppet-puppet \
 	 && git fetch upstream
 
-[thias-php]
-checkout = git clone https://forge.softwareheritage.org/source/puppet-thias-php.git thias-php \
-	 && cd thias-php \
-	 && git remote add upstream https://github.com/thias/puppet-php \
-	 && git fetch upstream
-
 [trepasi-debnet]
 checkout = git clone https://forge.softwareheritage.org/source/puppet-trepasi-debnet.git trepasi-debnet \
 	 && cd trepasi-debnet \