Category:Files used by extensions documentation

These files are used in the documentation of an extension. Please refrain from deleting them unless absolutely necessary and ideally only after finding (or uploading) a suitable replacement.

Files should be removed from this category if they are no longer actively being used in any extensions documentation.