更新: | 2023-12-08 |
---|---|
作者: | @voluntas |
バージョン: | 2023.2 |
URL: | https://voluntas.github.io/ |
タイポなどは Twitter の @voluntas までお願いします。
更新: | 2023-12-08 |
---|---|
作者: | @voluntas |
バージョン: | 2023.2 |
URL: | https://voluntas.github.io/ |
タイポなどは Twitter の @voluntas までお願いします。
Haydnをコレクション演算部分に適用する例
利用するコード: https://github.com/phpmentors-jp/workflower/blob/master/src/Workflow/Workflow.php#L411
# Change Java Runtime: | |
sudo update-alternatives --config java | |
# Delete Open-JDK | |
sudo apt-get purge openjdk-\* icedtea-\* icedtea6-\* | |
# Change fonts - remove hinting: | |
http://askubuntu.com/questions/32624/ugly-fonts-in-netbeans-how-can-i-make-it-use-the-system-font | |
# Change RubyMine AntiAliasing first: |
<?php | |
$date = new \DateTime(); | |
// 平成◯◯年 | |
$dateFormatter = \IntlDateFormatter::create( | |
"ja_JP@calendar=japanese", | |
\IntlDateFormatter::FULL, | |
\IntlDateFormatter::FULL, | |
"Asia/Tokyo", | |
\IntlDateFormatter::TRADITIONAL, |
<?php | |
/* vim: set expandtab tabstop=4 shiftwidth=4: */ | |
/** | |
* PHP version 5.3 | |
* | |
* Copyright (c) 2012 GOTO Hidenori <[email protected]>, | |
* 2012 KUBO Atsuhiro <[email protected]>, | |
* All rights reserved. | |
* |
<?php | |
$stream1 = fopen('php://output', 'wb'); | |
stream_filter_append($stream1, 'string.rot13'); | |
fwrite($stream1, "hoge\n"); | |
fwrite(STDOUT, "hoge\n"); | |
echo "hoge\n"; | |
echo "-\n"; | |
$stream2 = fopen('php://stdout', 'wb'); |
Request::hasSession()の現在の実装の意図
現在のhasSession()メソッドは、意図Aの実装であると考えられる。ただし、以下に挙げる呼び出し箇所では、意図Bなどが混在して用いられていると思われる。
Request::hasSession()の使われ方