Added php-shell plugin, see Issue #138.