From a228c6e7d7c2f4c1b99a83798cee33259d314277 Mon Sep 17 00:00:00 2001
From: Greg Sabino Mullane <greg@users.mediawiki.org>
Date: Sun, 16 Dec 2007 15:39:24 +0000
Subject: [PATCH] Make a note about the reserved word problem.

---
 includes/Namespace.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/includes/Namespace.php b/includes/Namespace.php
index f4df3bacb8..57a712824a 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 {
 
 	/**
-- 
2.20.1