Ex-Staff opinion!
I prefer fixing glitches or adding warp points rather than punish players for random glitches. As such, I always maintained the, "unless it gives them an unfair advantage....eh". I personally added a crapton of warp points and other methods to prevent such walljumps.
That said, there are other bastards who will continually do it over and over. Worse still, some will then spam every outlet available with, "LOL I R HAXORZ! STAFF ARE **** AND CANT TO DO ANYTHING". It's generally these dicks who know they are in the wrong but will bitch the loudest once the hammer comes down.
Yes, it's against the rules but I advise leniency so long as it's not affecting other players. Unless they are dicks. Dicks get no mercy.