diff options
Diffstat (limited to 'services/nuldoc/public/blog/posts/2022-11-19/phperkaigi-2023-unused-token-quiz-2/index.html')
| -rw-r--r-- | services/nuldoc/public/blog/posts/2022-11-19/phperkaigi-2023-unused-token-quiz-2/index.html | 95 |
1 files changed, 44 insertions, 51 deletions
diff --git a/services/nuldoc/public/blog/posts/2022-11-19/phperkaigi-2023-unused-token-quiz-2/index.html b/services/nuldoc/public/blog/posts/2022-11-19/phperkaigi-2023-unused-token-quiz-2/index.html index 72ae576b..c8a6ef29 100644 --- a/services/nuldoc/public/blog/posts/2022-11-19/phperkaigi-2023-unused-token-quiz-2/index.html +++ b/services/nuldoc/public/blog/posts/2022-11-19/phperkaigi-2023-unused-token-quiz-2/index.html @@ -15,7 +15,7 @@ <meta name="Hatena::Bookmark" content="nocomment"> <link rel="icon" type="image/svg+xml" href="/favicon.svg"> <title>PHPerKaigi 2023: ボツになったトークン問題 その 2|REPL: Rest-Eat-Program Loop</title> - <link rel="stylesheet" href="/style.css?h=81dfc0b483beda175e3e17562faac7c9"> + <link rel="stylesheet" href="/style.css?h=c3724e2d900f13528c82005e79a8ec23"> </head> <body class="single"> <header class="header"> @@ -105,17 +105,16 @@ 注意: これはボツ問なので、得られたトークンを PHPerKaigi で入力してもポイントにはならない。 </p> <div class="codeblock"> - <pre class="highlight" style="background-color:#f5f5f5"><code><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -</code></pre> + <pre class="highlight" style="background-color:#f5f5f5"><code><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span></div></code></pre> </div> <p> “And Then There Were None” (そして誰もいなくなった) と名付けた作品。変則 quine (自分自身と同じソースコードを出力するプログラム) になっている。 @@ -127,49 +126,46 @@ 実行してみると、次のような出力が得られる。 </p> <div class="codeblock"> - <pre class="highlight" style="background-color:#f5f5f5"><code># -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -</code></pre> + <pre class="highlight" style="background-color:#f5f5f5"><code><div class="codeblock-line"># +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span></div></code></pre> </div> <p> 1 行目を除き、先ほどのコードとほぼ同じものが出てきた。もう一度実行してみる。 </p> <div class="codeblock"> - <pre class="highlight" style="background-color:#f5f5f5"><code># -W -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -<span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -</code></pre> + <pre class="highlight" style="background-color:#f5f5f5"><code><div class="codeblock-line"># +</div><div class="codeblock-line">W +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> +</div><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">""</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<?php printf((isset($s)?fn($s)=>trim($s,""):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span></div></code></pre> </div> <p> 今度は 2 行目が書き換えられた。すべての行が変化するまで繰り返すと次のようになる。 </p> <div class="codeblock"> - <pre class="highlight" style="background-color:#f5f5f5"><code><span style="color: #6e7781"># -W</span> -<span style="color: #953800">E</span> -<span style="color: #953800">L</span> -<span style="color: #953800">O</span> -<span style="color: #953800">V</span> -<span style="color: #953800">E</span> -<span style="color: #953800">P</span> -<span style="color: #953800">H</span> -<span style="color: #953800">P</span> -</code></pre> + <pre class="highlight" style="background-color:#f5f5f5"><code><div class="codeblock-line"><span style="color: #6e7781">#</span> +</div><div class="codeblock-line"><span style="color: #6e7781">W</span> +</div><div class="codeblock-line"><span style="color: #953800">E</span> +</div><div class="codeblock-line"><span style="color: #953800">L</span> +</div><div class="codeblock-line"><span style="color: #953800">O</span> +</div><div class="codeblock-line"><span style="color: #953800">V</span> +</div><div class="codeblock-line"><span style="color: #953800">E</span> +</div><div class="codeblock-line"><span style="color: #953800">P</span> +</div><div class="codeblock-line"><span style="color: #953800">H</span> +</div><div class="codeblock-line"><span style="color: #953800">P</span></div></code></pre> </div> <p> トークン「#WELOVEPHP」が手に入った。 @@ -184,8 +180,7 @@ W</span> Vim で開くと次のようになる (1 行目を抜粋)。 </p> <div class="codeblock"> - <pre class="highlight" style="background-color:#f5f5f5"><code><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"<200b>"</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<200b><?php printf((isset($s)?fn($s)=>trim($s,"<200b>"):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span> -</code></pre> + <pre class="highlight" style="background-color:#f5f5f5"><code><div class="codeblock-line"><span style="color: #6e7781"><?php</span> <span style="color: #953800">printf</span><span style="color: #24292f;background-color: #f6f8fa">((</span><span style="color: #cf222e">isset</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">?</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">trim</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"<200b>"</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">:</span><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">))(</span><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<200b><?php printf((isset($s)?fn($s)=>trim($s,"<200b>"):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">.</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\n</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">,</span><span style="color: #0a3069">"</span><span style="color: #0a3069">\x27</span><span style="color: #0550ae">$s</span><span style="color: #0a3069">\x27</span><span style="color: #0a3069">"</span><span style="color: #24292f;background-color: #f6f8fa">);</span><span style="color: #6e7781">?></span></div></code></pre> </div> <p> <code><200b></code> と表示されているのは、Unicode の U+200b で、ゼロ幅スペースである。 @@ -207,15 +202,13 @@ W</span> 続いて、トークンへの変換ロジックを解析する。注目すべきはこの部分だ。以下、ゼロ幅スペースは Vim での表示に合わせて <code><200b></code> と記載する。 </p> <div class="codeblock"> - <pre class="highlight" style="background-color:#f5f5f5"><code><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">)</span> -</code></pre> + <pre class="highlight" style="background-color:#f5f5f5"><code><div class="codeblock-line"><span style="color: #cf222e">fn</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">=></span><span style="color: #953800">chr</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #953800">strlen</span><span style="color: #24292f;background-color: #f6f8fa">(</span><span style="color: #0550ae">$s</span><span style="color: #24292f;background-color: #f6f8fa">)</span><span style="color: #0550ae">/</span><span style="color: #0550ae">3</span><span style="color: #24292f;background-color: #f6f8fa">)</span></div></code></pre> </div> <p> PHP の <code>strlen()</code> は文字列のバイト数を返す。1 行目の <code>$s</code> は以下の内容となっており、 </p> <div class="codeblock"> - <pre class="highlight" style="background-color:#f5f5f5"><code><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<200b><?php printf((isset($s)?fn($s)=>trim($s,"<200b>"):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span> -</code></pre> + <pre class="highlight" style="background-color:#f5f5f5"><code><div class="codeblock-line"><span style="color: #0550ae">$s</span><span style="color: #0550ae">=</span><span style="color: #0a3069">'<200b><?php printf((isset($s)?fn($s)=>trim($s,"<200b>"):fn($s)=>chr(strlen($s)/3))($s=%s)."\n","\x27$s\x27");?>'</span></div></code></pre> </div> <p> このソースコードは UTF-8 で書かれているので、105 バイトになる。それを 3 で割ると 35 となり、これは <code>#</code> の ASCII コードと一致する。他の行も、同様にしてゼロ幅スペースを詰めることで文字列長を調整し、トークンをエンコードしている。 |
