Add php-restart alias