Split page history radio button tweaks out from wikibits.js to history.js
authorBrion Vibber <brion@users.mediawiki.org>
Fri, 9 May 2008 20:51:32 +0000 (20:51 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Fri, 9 May 2008 20:51:32 +0000 (20:51 +0000)
commitdf8b5502bcacb067cbf4026294d1c0e0712d76a5
tree7df2364801d3af68183f7459530e0b1357d46f89
parent96be74a3739ba4c0bc61646a38d047fe5fd3e8a7
Split page history radio button tweaks out from wikibits.js to history.js
Only include it when it's needed -- don't force it on every reader!
includes/DefaultSettings.php
includes/PageHistory.php
skins/common/history.js [new file with mode: 0644]
skins/common/wikibits.js