-RM-96-MR-Make WGEShaderAnimationCallback use the kernel timer
The new WTimer we provide using the kernel interface allows classes, shaders and so on to utilize time-based animations stuff. This timer automatically switches between real-time and frame-time if in animation mode. This should be used for the WGEShaderAnimationCallback too.
(from redmine: created on 2011-10-17, closed on 2013-07-10)