add (unused) list of all PHP functions