jenkins-bot has submitted this change and it was merged.
Change subject: Remove @ignore tags
......................................................................
Remove @ignore tags
Change-Id: Id4586923b18ee56e8295642b964d6d86a711adea
---
M purtle/src/UnicodeEscaper.php
1 file changed, 4 insertions(+), 9 deletions(-)
Approvals:
JanZerebecki: Looks good to me, approved
jenkins-bot: Verified
diff --git a/purtle/src/UnicodeEscaper.php b/purtle/src/UnicodeEscaper.php
index 777de3a..3a0ca45 100644
--- a/purtle/src/UnicodeEscaper.php
+++ b/purtle/src/UnicodeEscaper.php
@@ -43,7 +43,8 @@
private $escChars = array(); // Character encoding cache
/**
- * @ignore
+ * @param string $str
+ * @return string
*/
public function escapeString( $str ) {
$result = '';
@@ -58,10 +59,7 @@
return $result;
}
- /**
- * @ignore
- */
- protected function unicodeCharNo( $cUtf ) {
+ private function unicodeCharNo( $cUtf ) {
$bl = strlen( $cUtf ); /* binary length */
$r = 0;
switch ( $bl ) {
@@ -87,10 +85,7 @@
return $r;
}
- /**
- * @ignore
- */
- protected function escapedChar( $c ) {
+ private function escapedChar( $c ) {
$no = $this->unicodeCharNo( $c );
/* see http://www.w3.org/TR/rdf-testcases/#ntrip_strings */
if ( $no < 9 ) {
--
To view, visit https://gerrit.wikimedia.org/r/208130
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id4586923b18ee56e8295642b964d6d86a711adea
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
