Функции высших порядков и монады для PHP`шников

кто хочет "поломать" себе мозг :)
https://habrahabr.ru/post/309962/ - Функции высших порядков и монады для PHP`шников

Comments

Post a Comment

Popular posts from this blog

Wordpress - REST API - How to set up roles

Wordpress REST API allows roles as array. But when you try to set roles as it is, it throws error. Correct list of roles: administrator editor author contributor subscriber customer As you see, all of these role names must be in lower case . For example: $user = WordpressAPI::createUser([ 'username' => 'test', 'email' => 'test@gmail.com', 'password' => '123456QQQ', 'roles' => ['subscriber'] ]); And you can add your own roles that you created in system.
Читать далее

How to upgrade MediaWiki to 1.40 version

Link to page for web updating - your_site_url/mw-config/index.php If your version older then 1.35 version, then firstly update to 1.35 version . Only after that update to 1.40 version. Otherwise, it can brake you data in DB. If you see 500 error after updating - check permissions for folders: cache, vendor, skins, includes . For changing permission use command: chmod -R 777 ./cache If you see another errors on the pages, try to update extensions . To fix Logo after updating: need to change $wgLogo to $wgLogos. Before:  $wgLogo = "$wgScriptPath/resources/assets/logo.png"; After:  $wgLogos = [    '1x' => "$wgScriptPath/resources/assets/logo.png",    '1.5x' => "$wgScriptPath/resources/assets/logo.png",    '2x' => "$wgScriptPath/resources/assets/logo.png",    'svg' => "$wgScriptPath/resources/assets/logo.png" ];
Читать далее

Git - How to revert, cancel last changes on remote server

Sometimes you do something wrong. For example, push to master branch dev commits or something else, what does not have to find itself here.  There are present a lot of official recommends how to push revert commits... but honestly, in my case, it does not work in proper way, as you want. So, I found ferroconcrete method how to solve this issue. But it seems to somebody not gracefully, but it works at least. First step: Revert to required commit.  git reset --hard <commit-hash> (This command will reset the branch to the specified commit. Be cautious when using --hard as it will discard changes in your working directory and staging area.) Second step: Create new branch from this point.  git checkout -b <new-branch-name> (This command creates a new branch and switches to it. Replace <new-branch-name> with the desired name for your new branch.) Third step: Remove your damaged branch on server. git push origin --delete <branch-name> (Replace <br...
Читать далее