Move migration script to https://gist.github.com/theodorejb/763b83a43522b0fc1755a537663b1863

This script isn't something that should be maintained long term in php-src.

Author: theodorejb