Swapping out
the file would be best, yes.
Otherwise, any sysop could set up some JS to find div.magnify img tags
and rewrite the image to something else. "Something else" needs to be
15x11 px, though I suppose it could also be made larger if necessary.
(an ugly nasty waste of client computation. Then again, it could be
done that way for testing without causing wiki-war-3)
I just did some experimentation on a local MediaWiki. A blue circle-i
looks like rubbish (and, worse, non-obvious) below about 15px, so
whatever expects 15x11 would need fixing too. I got a nice 15x15
circle-i, though (better than merely scaling an SVG).
How about a circled + sign? Should be equally obvious.
[Some screenshots would be nice, too...]
--
- Andrew Gray
andrew.gray(a)dunelm.org.uk