Invalid kerberos patches, works now and with a test.

Merge pull request #262 from fbacchella/keepsession

Do not replace session when authentication type is CONTAINER

Create web.rewriteSession key for use with tomcat  and CAS

Fix html raw content type serving

Merged #253 "Implement configurable tab length support for blob views"

Implement configurable tab length support for blob views

Merged #252 "Cleanup diff rename output"

Cleanup diff rename output

Merged #251 "Add onFork and onRename methods to RepositoryLifeCycleListener"

Add onFork and onRename methods to RepositoryLifeCycleListener

Merged #250 "Improve PAM documentation"

Improve PAM documentation

Merged #249 "Parse X509 DN with LdapName"

Parse X509 DN with LdapName

Merged #248 "Deny access to /com/* url path"

Remove /org/ filtering

Merged #247 "Add Kerberos5/GSS authentication to ssh"

Merged #246 "Option to extract user metadata from container HTTP session"

Added nbproject/private folder to .gitignore

Removed private\ folder which is specific to each NetBeans user session

Add support for NetBeans project

A patch that allows to extract a new user informations from the HTTP session
if the webapp container can fill it.

Adding Kerberos5/GSS authentication to ssh
Adding the possibility to define authentication method order for ssh

Deny access to /com and /org folders in GO setup

Added a servlet to serve "Access Denied"
Added conditional mapping of /com and /org folders in the web setup

Merge pull request #250 from StephenKing/doc-rpc

Docs: Fix RPC URL

Docs: Fix RPC URL

The RPC URL should be `/rpc/?` and not `/rpc?` according to
https://groups.google.com/d/msg/gitblit/Ajp2gR3B2bM/AXg6wIf21eIJ

Update Jetty to 9.2.10

Update to SSHD 0.14

Merged #233 "Ignore whitespace in diff viewer"

Add a checkbox to control whitespace diff preference on the compare page

Add links to commit diff and blob diff pages to toggle whitespace setting

Expose the DiffComparator choice as an url parameter (?w=1)

Add DiffComparator argument to all DiffUtils calls, default to ignore all whitespace

Restore tab conversion to 4 spaces in HTML diff output

Update JGit to 3.7.0

Merged #225 "The Delete button for repositories is placed rather unfortunately"

Move the Delete Repository button to a separate "administration" tab

Merge branch 'ticket/245' into develop

Strip line breaks from pasted SSH keys

Merged #244 "Implement user/team difference detection"

Merge branch 'ticket/244' into develop

Minor refactoring of user/team checksumming

Setting up a checksum on user and team instances to lower connection delay

Merged #243 "Allow Forks is not saved on repository edit"

Fix failure to save Allow Forks repository setting

Update SLF4j, JGit, Groovy, BouncyCastle, Mina, Gson, Freemarker, libpam4j, args4j, Jedis, waffle-jna, Unboundid

Merged #242 "issue-545: Enforce repository permissions in patch page"

Merge branch 'ticket/242' into develop

issue-545: Enforce repository permissions in patch page

Merged #241 "issue-527: Synchronize changes from upstream Bugtraq"

Merge branch 'ticket/241' into develop

issue-527: Synchronize changes from upstream Bugtraq

Merged #240 "Fix spelling mistake"

Fix spelling mistake

Merged #239 "Remote Leakage Of Shared Buffers In Jetty Web Server [CVE-2015-2080]"

Merge branch 'ticket/239' into develop

issue-566: Udpate to Jetty 9.2.9 for CVE-2015-2080

Merged #238 "issue 564: enable ticket page update on tomcat with redirects"

Merge branch 'ticket/238' into develop

issue 564: enable ticket page update on tomcat with redirects

issue 564: fix imports

issue 564

Fix spelling mistake

Merged #237 "Add 'UTF8' encoding alias"

Merge branch 'ticket/237' into develop

Add 'UTF8' encoding alias

Merged #234 "#230 - Improve empty folder navigation."

#230 - Improve empty folder navigation.

Empty folders are automatically skipped when browsing repository tree  (similar to github "folder jumping" feature).

Merge pull request #240 from steveno/develop

GitBlit no longer uses Google charts

GitBlit no longer uses Google charts

Merged #228 "Add support for configurable HTTP proxy host/port in PluginManager.java"

Add support for specifying the `Proxy-Authorization` header for the PluginManager

Merged #227 "Small adjustments to allow integration with Gerrit Code Review"

Merged #226 "Added a new property: web.displayUserPanel"

Use startManager(X) from startManager(Injector, Class)

Add support for configurable HTTP proxy host/port in PluginManager.java

Formerly by default the PluginMaganer would support no proxy setting.
For servers behind firewall and HTTP proxy this would prevent installation of gitblit plugins.

Allow different aspect rations for top-left logo

When configuring a different top-left logo, we would like to allow
to have a different HxW aspect ratio image. We need then to avoid
locking down the height of the logo and just keep the existing aspect
ration as-is.

Allows starting an already instantiated manager

When a manager is injected through other means, (e.g. using a different
GuiceModule and injector in Gerrit) we need a way to start it without
having to necessarily passing through the injection process again.

Added a new property: web.displayUserPanel

This property allows the administrator to hide the user related part of
the top panel. This can come handy if there's no use for it (i.e. if
Gitblit runs as Gerrit plugin).

Fix regression in BasePage due to changes in page construction for bottom script injection

Add .bat and .cmd to the pretty print extensions

Ensure that pretty-printed files are served as text/plain in Raw servlet

Fix time units in ldap sync log message

Extract WAR data resources if they do not exist in ${baseFolder}

Revise severity & priority permissions

Ticket reporters should be able to specify severity whereas only those with repository push access should be able to specify priority. This also fixes a bug related to non-admin users creating tickets.

Merge pull request #232 from tomaswolf/ticket-88-bugfix

Usability bug fix

Usability bug fix

If the opacity slider was moved to the far right faster than the
animation showing the image, the user would never see the old file
because opacity got adjusted right away.

Now we first move the overlay slider to the right, so that something
is visible, and then quickly animate opacity to the current value.

Merged #223 "Add support for image/svg+xml content type to raw servlet"

Merged #222 "Add a blink comparator and pixel difference to image diffs"

Add support for image/svg+xml content type to raw servlet

Add a blink comparator and pixel difference to image diffs

Pixel difference uses CSS mix-blend-mode, which is supported currently
only on Firefox >= 32 and on Safari >= 7.1. Implementation is behind a
Javascript feature test.

For other browsers, there's a blink comparator.

Code changes:

* ImageDiffHandler now takes the page it's used on as argument. We need
  that to get labels. DOM generated is a
  little bit different (new controls).

* Diff pages adapted to new constructor of ImageDiffHandler.

* CSS and Javascript changes implementing the new controls, making use
  of two new static image resources. Since I felt that the new controls
  deserved tooltips, I also gave the opacity slider a tooltip: changed
  to <a>, and slider handle changed from <div> to <span>. CSS ensures
  everything still displays the same (basically display:inline-block).

* Supplied messages for English, French, and German for the new
  tooltips.

Tested on IE8, Safari 6.1.6 & 7.1, Chrome 38, FF 33.1 & FF 3.6.13

Merge pull request #230 from tomaswolf/ticket-88-followup

IE < 10 does not support gradients.

IE < 10 does not support gradients.

Since the new imgdiff UI heavily used gradients, this leaves IE9 and
IE8 users with a complete disfunctional UI.

Replaced all gradients by simpler means:

* Vertical handle: instead of 2px wide gradient, use a 1px background
  and a white border-right

* Opacity slider: No gradient but a simple border and background-color

* All radial-gradients replaced by small pre-computed PNGs

* Checkerboard background done with a small repeated PNG

With these changes, the imgdiff UI is fully functional even in IE 8.
Visual changes in other browsers are barely discernible.

Merged #88 "Image diff could display before & after images"

Make the sliders clickable.

Always having to drag is cumbersome. Now the slider's handle can also
be set by clicking on the slider.

Heh :-) I see the GitHub UI designers hadn't thought of that.

Minor corrections in Javascript

1. Stop running animation before starting a new one.
2. Fix ratio in animation
3. Fix div width

None of these change have any visible effect in the current use of
this script. (1) is just being safe, in (2) , the wrongly calculated
value was never used,and in (3), the div was a little too wide before.

Javascript-based sliders styled with CSS

This works better for small images. The previous CSS-resize based
attempt worked reasonably well, but had two problems on WebKit
(Safari):

1. For very small images the red resize handle would overlap the image
   itself. In that case, the image became un-draggable as soon as the
   opacity was reduced below 1.0.

2. Safari apparently doesn't send mousemove events during a CSS
   resize, so the opacity was changed only on mouseup.

Both observed on Safari 6.1.6 and 7.1. FF 33.1 had no problems.

Therefore I've switched to a Javascript slider. Since I didn't find
any that was simple, did not require HTML 5, appeared to be well
maintained, had a bug tracker and not too many outstanding bug reports,
didn't pull in umpteen other dependencies, didn't suffer from feature
bloat, was compatible with jQuery 1.7.1, and was freely licensed, I
ended up writing my own.

imgdiff.js contains a small Javascript slider (only horizontal) that is
styled completely in CSS. It reports ratios in the range [0..1] and
fires nice jQuery events 'slider:pos' on value changes. Base element
is a plain div that is positioned. It's not a general-purpose do-it-all
slider, but it's small, simple, and works for what we need it.

(imgdiff.js also sets up the ese sliders on the diff pages.)

Fix that opacity slider

Using the browser's built-in slider doesn't work if the browser hides
scrollbars (like Firefox on Mac). So,construct our own slider with
three divs and some CSS. Event-handling Javascript changed to match
this new implementation.

Typo in comment, and optional semicolon in JS

Opacity adjustments for image diffs

* ImageDiffHandler adds the slider; styled in gitblit.css
* imgdiff.js is a little bottom-loaded Javascript that adjusts the
  opacity on sliders' scroll events.
* The three diff pages add this bottom script to the page if needed
* GitBlitDiffFormatter: center image diffs.

HTML bug fix on the blob page

That blob page sent *two* body tags. Now that we have bottom scripts,
we can fix that easily: don't try to set body.onload, but run the
prettyprinting through a bottom script on jQuery's document.ready.

Support for adding bottom scripts

Needed if we want to have opacity changes in image diffs because
jQuery is bottom-loaded, so we must ensure that any scripts using
jQuery are run later.

I'm not a Wicket expert; maybe there's a cleverer or cleaner way to do
this. There is a JavascriptUtils class in Wicket, but that writes to
the response -- I don't quite see how that would give me control over
the precise placement of the scripts to ensure they come after that
bottom-loaded jQuery.