Update mytagext_dostuff.php

https://www.mediawiki.org/wiki/Manual:Tag_extensions#Example