Fix JS error in redlinks.js due to missing dependency

mw.user.isAnon() is in the mediawiki.user module

Change-Id: Ia533030e0b73237bae9946e1d599a7fc3c3938e9
Merge "Fix JS error in redlinks.js due to missing dependency"