Category:Extensions with manual MediaWiki version/no
 | Administrators, please do not delete this category! This category is automatically populated by {{Extension}} and so should not be deleted even if empty. |
| Administrators, please do not delete this category! This category is automatically populated by {{Extension}} and so should not be deleted even if empty. |