Fixes lint warning W004 in src/shared/{function,util}.js