diff options
Diffstat (limited to 'includes/Namespace.php')
-rw-r--r-- | includes/Namespace.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/includes/Namespace.php b/includes/Namespace.php index f4df3bac..57a71282 100644 --- a/includes/Namespace.php +++ b/includes/Namespace.php @@ -41,6 +41,11 @@ if( is_array( $wgExtraNamespaces ) ) { * Users and translators should not change them * */ + +/* +WARNING: The statement below may fail on some versions of PHP: see bug 12294 +*/ + class Namespace { /** |