Category:User extensions/es

The User extensions category contains articles on extensions that add user interface extensibility to the wiki.