The example is for v2026. If you use v2025 (since your namespace starts with PHPMaker2025), it will not work. Previous versions did not use the Db namespace and did not have the SendWebPushNotification() function added by v2026. Please refer to old docs for older versions.