script to regenerate the thumbnails of all gifs
wrong namespace on the exception catching
Merge branch 'stable'

Conflicts:
	tools/one-off/regen_gif_thumbs.php