[php mode] Adding finally keyword