Extension:HasCategory/Code

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