last change
clone url
push url
e73c575 Florianschmidtwelzow Follow up I5f430610 master
ca582e1 Florianschmidtwelzow Several styling improvements and fixes
6ca1fa5 Florianschmidtwelzow Override new Focus indicator of mediawiki.ui in d…
863b36d Florianschmidtwelzow Fix squishy VE buttons
5e8dcc5 root Hygiene: Make left menubar scrollable on small sc…
93a0583 jenkins-ci Merge "Fix VisualEditor editor toolbars (better s…
8f042c2 Florianschmidtwelzow Really hide empty portlets
c388f70 Florianschmidtwelzow Fix VisualEditor editor toolbars (better styling)
0d295fc Florianschmidtwelzow Move page actions to "More" button
38b902d Florianschmidtwelzow Prepare VE header
491e5c1 Florianschmidtwelzow The content id should be used for the content-are…
595e200 Florianschmidtwelzow Force link color in footer for hover and visited,…
d511f67 Florianschmidtwelzow Don't output invalid HTML5
b749502 Jenkins Merge "Don't add double border-bottom to headings"
baa02c4 Florianschmidtwelzow Don't add double border-bottom to headings
a529d36 Florianschmidtwelzow Load mediawiki.skinning.interface