Very great support here, thank you!
That worked for me (at least, it looks like, phpinfo tells me it loads the modules :) )
For anyone having similar problems, my thoughts:
I had to uninstall phpdevel twice (once for 5.3, once for 5.6)
I had to look for the new installed phpdevel from IgorG, it...