wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 11:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Moved styles

Browse source
This commit is contained in:
Trevor Parscal 2011-11-30 20:39:49 +00:00
parent 086b4f46ca
commit 57434fa734
3 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditor.php
View file

@ -108,7 +108,7 @@ $wgResourceModules += array(
'es/tools/es.FormattingDropdownTool.js',
'es/tools/es.ClearButtonTool.js'
),
'styles' => 'es/es.Surface.css',
'styles' => 'es/styles/es.Surface.css',
'dependencies' => array(
'jquery',
),

2
demo/index.html
View file

@ -3,7 +3,7 @@
<html>
<head>
<title>EditSurface Demo</title>
<link rel="stylesheet" href="../modules/es/es.Surface.css">
<link rel="stylesheet" href="../modules/es/styles/es.Surface.css">
<link rel="stylesheet" href="../modules/sandbox/sandbox.css">
<style>
body {

0
modules/es/es.Surface.css → modules/es/styles/es.Surface.css
View file