Extension:HasCategory/Code

The HideNamespace extension consits of two files: HasCategory.php, HasCategory.i18n.php and HasCategory.i18n.magic.php. Here are their contents: