shell.php: update PsySH from 0.8.11 to 0.9.6
[lhc/web/wiklou.git] / .editorconfig
2018-06-08 jenkins-botMerge "(y)etsin fixes, test refactoring, and misc fixes"
2018-06-07 jenkins-botMerge "Add code to write to change_tag_def table"
2018-06-07 jenkins-botMerge "Introduce per-schema unit tests for revision...
2018-06-07 jenkins-botMerge "Reset relevant DB tables before the first test...
2018-06-07 jenkins-botMerge "Revert "docs: Rename README to README.md""
2018-06-05 jenkins-botMerge "DateTimeInputWidget: Fix disabled `border-color`"
2018-06-05 jenkins-botMerge "ExternalUserNames: Update partly incomplete...
2018-06-05 jenkins-botMerge "clientpool: refactor Redis authentication error...
2018-06-05 jenkins-botMerge "RCFilters: Add an opt-out preference for filters...
2018-06-04 jenkins-botMerge "Make cleanupSpam.php query for http and https"
2018-06-03 jenkins-botMerge "Record a log entry on page creation"
2018-06-02 jenkins-botMerge "objectcache: make RedisBagOStuff pass all tests"
2018-06-01 jenkins-botMerge "rcfilters: Stop the "Live updates" button animat...
2018-06-01 jenkins-botMerge "objectcache: add setMockTime() method to BagOStu...
2018-05-31 jenkins-botMerge "Use PHP 7 '??' operator instead of '?:' with...
2018-05-31 jenkins-botMerge "Use PHP 7 '<=>' operator in 'sort()' callbacks"
2018-05-31 jenkins-botMerge "Update OOUI to v0.27.1"
2018-05-31 jenkins-botMerge "registration: Initialize PSR-4 namespaces at...
2018-05-31 jenkins-botMerge "Remove workaround for PHP bug 66021 (PHP < 5...
2018-05-31 jenkins-botMerge "PhpHttpRequest: Drop back-compat code for PHP...
2018-05-31 jenkins-botMerge "PHPSessionHandler: Drop now-pointless return...
2018-05-31 jenkins-botMerge "Use PHP 5.6 '**' operator instead of 'pow()...
2018-05-31 jenkins-botMerge "Use PHP 5.6 constant expressions for some bitfie...
2018-05-31 jenkins-botMerge "Add a simple .editorconfig"
2017-08-21 David BarrattAdd a simple .editorconfig