php classes: Disallow overriding functions in derived class

Published --