Do not depend on PHP.