Use double-underscore instead of non-ASCII character for class name separator
authorTim Starling <tstarling@wikimedia.org>
Mon, 7 Sep 2015 05:30:13 +0000 (15:30 +1000)
committerTim Starling <tstarling@wikimedia.org>
Mon, 7 Sep 2015 05:45:26 +0000 (15:45 +1000)
commitf5e6b581787a01c75e4b5686d46fa7d43a83faef
treeb1f72612669808ed2d71209e58387ee940af25f3
parent410984bdc79f9e45e865d6bb61079b45f4d7562d
Use double-underscore instead of non-ASCII character for class name separator

MediaWikiParserTest.php generates fake test classes with eval(). It uses
synthetic class names with U+2044 "fraction slash" as a separator, but
this turns out to be an unfortunate choice since in certain terminal
modes, it causes readline to return to the start of the line as if the
"home" key was pressed, without adding a character. This makes it
difficult to paste class names.

Change-Id: I1c66b9caf256b8d0535fb7ed6e52ed842e193f46
tests/phpunit/includes/parser/MediaWikiParserTest.php