Page Menu
Home
WickedGov Phorge
Search
Configure Global Search
Log In
Files
F4091164
generatePhpCharToUpperMappings.php
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Flag For Later
Award Token
Size
3 KB
Referenced Files
None
Subscribers
None
generatePhpCharToUpperMappings.php
View Options
<?php
/**
* Update list of upper case differences between JS and PHP
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
* http://www.gnu.org/copyleft/gpl.html
*
* @file
* @ingroup Maintenance
*/
use
MediaWiki\Maintenance\Maintenance
;
use
MediaWiki\Shell\Shell
;
// @codeCoverageIgnoreStart
require_once
__DIR__
.
'/../Maintenance.php'
;
// @codeCoverageIgnoreEnd
/**
* Update list of upper case differences between JS and PHP
*
* @ingroup Maintenance
* @since 1.33
*/
class
GeneratePhpCharToUpperMappings
extends
Maintenance
{
public
function
__construct
()
{
parent
::
__construct
();
$this
->
addDescription
(
'Update list of upper case differences between JS and PHP.'
);
}
public
function
execute
()
{
global
$IP
;
$data
=
[];
$result
=
Shell
::
command
(
[
'node'
,
$IP
.
'/maintenance/mediawiki.Title/generateJsToUpperCaseList.js'
]
)
// Node allocates lots of memory
->
limits
(
[
'memory'
=>
1024
*
1024
]
)
->
execute
();
if
(
$result
->
getExitCode
()
!==
0
)
{
$this
->
output
(
$result
->
getStderr
()
);
return
;
}
$jsUpperChars
=
json_decode
(
$result
->
getStdout
()
);
'@phan-var string[] $jsUpperChars'
;
$contentLanguage
=
$this
->
getServiceContainer
()->
getContentLanguage
();
for
(
$i
=
0
;
$i
<=
0x10ffff
;
$i
++
)
{
if
(
$i
>=
0xd800
&&
$i
<=
0xdfff
)
{
// Skip surrogate pairs
continue
;
}
$char
=
\UtfNormal\Utils
::
codepointToUtf8
(
$i
);
$phpUpper
=
$contentLanguage
->
ucfirst
(
$char
);
$jsUpper
=
$jsUpperChars
[
$i
];
if
(
$jsUpper
!==
$phpUpper
)
{
if
(
$char
===
$phpUpper
)
{
// Optimisation: Use 0 to signal "leave character unchanged".
// Reduces the transfer size by ~50%. Reduces browser memory cost as well.
$data
[
$char
]
=
0
;
}
else
{
$data
[
$char
]
=
$phpUpper
;
}
}
}
$mappingJson
=
str_replace
(
' '
,
"
\t
"
,
json_encode
(
$data
,
JSON_PRETTY_PRINT
|
JSON_UNESCAPED_UNICODE
)
)
.
"
\n
"
;
$outputPath
=
'/resources/src/mediawiki.Title/phpCharToUpper.json'
;
$file
=
fopen
(
$IP
.
$outputPath
,
'w'
);
if
(
!
$file
)
{
$this
->
fatalError
(
"Unable to write file
\"
$IP$outputPath
\"
"
);
}
fwrite
(
$file
,
$mappingJson
);
$this
->
output
(
count
(
$data
)
.
" differences found.
\n
"
);
$this
->
output
(
"Written to $outputPath
\n
"
);
}
}
// @codeCoverageIgnoreStart
$maintClass
=
GeneratePhpCharToUpperMappings
::
class
;
require_once
RUN_MAINTENANCE_IF_MAIN
;
// @codeCoverageIgnoreEnd
File Metadata
Details
Attached
Mime Type
text/x-php
Expires
Aug 18 2026, 11:35 (5 w, 3 d ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
a3/a4/134edde48e366897641a82f02b60
Default Alt Text
generatePhpCharToUpperMappings.php (3 KB)
Attached To
Mode
rMWPROD MediaWiki Production
Attached
Detach File
Event Timeline
Log In to Comment