[endportals.js] fix bad script version number (was 1.6.4; should be 1.7.2)