Fatal error: Uncaught Error: Call to undefined function get_push_tokens() in /mnt/web201/a2/21/51434621/htdocs/neu/admin/app/notify.php:72
Stack trace:
#0 /mnt/web201/a2/21/51434621/htdocs/neu/admin/app/notify.php(126): send_notify(Object(mysqli), 1, 'test title', 'Body', '/app/todo')
#1 /mnt/web201/a2/21/51434621/htdocs/neu/app/api/send_event_push.php(8): include_once('/mnt/web201/a2/...')
#2 /mnt/web201/a2/21/51434621/htdocs/neu/index.php(14): include_once('/mnt/web201/a2/...')
#3 {main}
  thrown in /mnt/web201/a2/21/51434621/htdocs/neu/admin/app/notify.php on line 72