wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-01 02:16:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Whitespace fixes

Browse source
This commit is contained in:
Siebrand Mazeland 2008-02-04 08:08:43 +00:00
parent 19b7e02bc8
commit 29813fc87a
4 changed files with 19 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README
View file

@ -76,4 +76,3 @@ MediaWiki:Gadget-section-editing-gadgets
* Gadget code is included after user code - that means that user JS has no * Gadget code is included after user code - that means that user JS has no
access to things defined in gadgets, and user CSS is overwritten by CSS access to things defined in gadgets, and user CSS is overwritten by CSS
from gadgets. (pending a better way to insert things into the HTML head) from gadgets. (pending a better way to insert things into the HTML head)

1
SpecialGadgets.php
View file

@ -97,4 +97,3 @@ class SpecialGadgets extends SpecialPage {
} }
} }
} }
?>

1
install.settings
View file

@ -1,2 +1 @@
require_once( "{{path}}/Gadgets.php" ); require_once( "{{path}}/Gadgets.php" );