MediaWiki:Gadget-AjaxTextureID

- This gadget adds a button for inserting the texture ID to a file page quickly.