Updated mediawiki/extensions
Project: mediawiki/extensions/Agora  dda98474c92e6fa51c9ad201346f01989742876f

Split Agora styles into "default" and "vector"

"Default": can apply to every skin and has no colors
 "Vector": has colors that work best in Vector

Change-Id: I61766798b3abd00cea074f4fecfc32cbb0f5a32f