Changing end-of-list animation in MIUI
As Uri seems not to place it in an answer, I will do so -- to help other searchers see there is an answer ;)

As pointed out, there is a MIUI control panel, which should ship with most MIUI ROMs. If it is not included with yours, you will find it in an app called Extended Settings.