Another observation. It seems that it's some sort of random bug?

I can't recreate the problem:

I thought this is a common problem (or design?) for all Mediawiki page on mobile phones? Viewing desktop version of Wikipedia on a mobile phone also shows bigger article content font size (see image). I'm not sure if this page should be treated separately?

On the time when _keyboardShortcut is called, the CodeMirror-hints is already closed and removed, so we cannot use that way to check if a code hint is displayed.

Is the clone API inside https://secure.phabricator.com/conduit/ or simply git clone?

Mentioning at corresponding UI elements sound like a good idea. Currently the "execute query" already have a shortcut hint:

I wrote one on my blog in Chinese: https://www.arefly.com/google-code-in-2017-wikimedia/ ☺️ (hope Google Translation works well!)

I changed the "Tools" from a dropdown item to a button. The design will be more consistent and also can work better on small screens.

The result view's dropdown should be working too.

(Click to view this GIF)

So we are trying to make the drop-down menu become something like this drop-down menu right?

https://gerrit.wikimedia.org/r/#/c/402039/

We can remove search.png too after T184070: Add "This page requires JavaScript" notes to special pages in the Translate extension :)

We have to remove the .png reference from the .less/.css files right?