php source for SuperPlugin