fixup: PHP doesn't have constant arrays