Issue #26881: Restored the name of scan_opcodes_25().

It is better to not change this in bugfix release.