Links for riptide-plugin-php-xdebug