jenkins-bot has submitted this change and it was merged.
Change subject: Update make-normalization-table for core file moves
......................................................................
Update make-normalization-table for core file moves
Depends upon Ib530ad9dbe1d3a33dc53ef8b9620f61d4e1a2d62 in core.
Change-Id: Ib530ad9dbe1d3a33dc53ef8b9620f61d4e1a2d62
---
M engines/LuaCommon/lualib/ustring/README
M engines/LuaCommon/lualib/ustring/make-normalization-table.php
2 files changed, 3 insertions(+), 3 deletions(-)
Approvals:
Anomie: Looks good to me, approved
Legoktm: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/engines/LuaCommon/lualib/ustring/README
b/engines/LuaCommon/lualib/ustring/README
index 46bac25..d211589 100644
--- a/engines/LuaCommon/lualib/ustring/README
+++ b/engines/LuaCommon/lualib/ustring/README
@@ -20,7 +20,7 @@
string library, and charsets.lua using PCRE.
* normalization-data.lua - Data tables for toNFC and toNFD.
* make-normalization-table.php - Regenerate normalization-data.lua based on the
- file includes/normal/UtfNormalData.inc from MediaWiki core.
+ file includes/libs/normal/UtfNormalData.inc from MediaWiki core.
This library (consisting of the files described above) is released under the
MIT
diff --git a/engines/LuaCommon/lualib/ustring/make-normalization-table.php
b/engines/LuaCommon/lualib/ustring/make-normalization-table.php
index e9881c2..5bb00c6 100755
--- a/engines/LuaCommon/lualib/ustring/make-normalization-table.php
+++ b/engines/LuaCommon/lualib/ustring/make-normalization-table.php
@@ -13,8 +13,8 @@
}
} else {
foreach( array(
- __DIR__ .
'/../../../../../core/includes/normal/UtfNormalData.inc',
- __DIR__ . '/../../../../../includes/normal/UtfNormalData.inc',
+ __DIR__ .
'/../../../../../core/includes/libs/normal/UtfNormalData.inc',
+ __DIR__ .
'/../../../../../includes/libs/normal/UtfNormalData.inc',
) as $tryfile ) {
$tryfile = realpath( $tryfile );
if ( file_exists( $tryfile ) ) {
--
To view, visit https://gerrit.wikimedia.org/r/183291
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib530ad9dbe1d3a33dc53ef8b9620f61d4e1a2d62
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Scribunto
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: Jackmcbarn <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
