Texas User scripts Script lists Main script list Exhaustive script list Code snippets Deprecated script list Script writing Guide Common techniques Further help Default ResourceLoader modules Templates {{InstallUserScript}} {{Infobox user script}} {{user script developer}} {{userscript}} See also Gadgets Tools User styles Greasemonkey IRC scripts IRC channel Firebug Bots Extensions