Remove now useless function in graffiti-extended