#!/usr/bin/envphp This script must be run from the command line.