Jdlrobson has uploaded a new change for review. https://gerrit.wikimedia.org/r/61773
Change subject: Add cachedpage.sh, apply fix for bad deployment ...................................................................... Add cachedpage.sh, apply fix for bad deployment Running: ./scripts/cachedpage.sh 5413e645da2067687627b9a9c6a1aee914328a63 Produces cached.html and cached_special.html Loading them without this commit shows breakage in the header as shown in http://imgur.com/vY20Xqf Applying this fix, fixes the cached versions of the page. Added FIXME with suggested removal time (assuming deployment next Tuesday) Change-Id: Ifb84b8cd2b46f9e92053de12c6ee4749c9814be2 --- M less/common/ui.less A scripts/cachedpage.sh M stylesheets/common/ui.css 3 files changed, 37 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend refs/changes/73/61773/1 diff --git a/less/common/ui.less b/less/common/ui.less index 1f66788..a64020d 100644 --- a/less/common/ui.less +++ b/less/common/ui.less @@ -8,6 +8,7 @@ height: @headerHeight; } +#mw-mf-header, // FIXME: remove 11th May 2013 .header { z-index: 2; color: black; diff --git a/scripts/cachedpage.sh b/scripts/cachedpage.sh new file mode 100755 index 0000000..e00e9d7 --- /dev/null +++ b/scripts/cachedpage.sh @@ -0,0 +1,33 @@ +#usage ./scripts/cachedpage.sh 1bd5bc53ebb04fff7f508712a29fdf1f1d7fe14f +#must be run an a branch with no stashed changes +# Update the index +if [ git diff --exit-code ] # check for unstaged changes +then #stash them so they are not lost + stashed_changes=1 + git stash +fi + +cur_branch=`git rev-parse --abbrev-ref HEAD` #get the current branch name +if [ $cur_branch == 'HEAD' ] +then #we should ensure we don't lose this + cur_branch=tmp_`date "+%Y%m%d%H%M%S"` + git branch -D tmp_$cur_branch #delete the temporary branch if it already exists + git checkout -b tmp_$cur_branch #checkout the current HEAD as this new branch +fi + +git checkout $1 #go to commit caller requested + +#Generate the 'cached' pages +wget $MEDIAWIKI_URL/index.php/Main_Page -O cached.html +wget $MEDIAWIKI_URL/index.php/Special:MobileOptions -O cached_special.html + +#Return to previous branch +git checkout $cur_branch +open $MEDIAWIKI_URL/extensions/MobileFrontend/cached.html +open $MEDIAWIKI_URL/extensions/MobileFrontend/cached_special.html + +if [ stashed_changes == 1 ] +then + unset cur_branch + git stash pop +fi diff --git a/stylesheets/common/ui.css b/stylesheets/common/ui.css index 668a9f3..b7cc0c2 100644 --- a/stylesheets/common/ui.css +++ b/stylesheets/common/ui.css @@ -223,6 +223,7 @@ #mw-mf-sq { height: 46px; } +#mw-mf-header, .header { z-index: 2; color: black; @@ -241,7 +242,9 @@ position: relative; padding: 0 40px 0 40px; } +#mw-mf-header h1, .header h1, +#mw-mf-header h2, .header h2 { font-size: 1.6em; color: #000000; -- To view, visit https://gerrit.wikimedia.org/r/61773 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ifb84b8cd2b46f9e92053de12c6ee4749c9814be2 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
